# CONFIG_EZNPS_GIC is not set