# CONFIG_PLAT_SPEAR is not set