arm64: Fix the has_hyp check
boot_el is now the CurrentEL.EL field value. Use the new macros to implement the has_hyp() check.
Sponsored by: Arm Ltd