# CONFIG_ABX500_CORE is not set