I've done this and now would like to return to alucard. How please? Latest version of ROMStock kernel can be found at
Settings/Optimized LineageOS settings/Stock kernel
it will download stock kernel as flashable - check your Downloads folder at internal