arm/arm64: Get rid of KERN_TO_HYP