CONFIG_OF_EMBED=n
CONFIG_OF_BOARD=y
CONFIG_ARMV7_NONSEC=n
CONFIG_EFI_GRUB_ARM32_WORKAROUND=y
