# CONFIG_ARMV8_DEPRECATED is not set
