kernel/include/config/AS_HAS_ARMV8_5