CONFIG_PLATFORM_UEFI=y
# CONFIG_PLATFORM_SBL is not set