# CONFIG_PLATFORM_UEFI is not set CONFIG_PLATFORM_SBL=y