tree 69f7504bb74d7652e6508aa395e4ad6e93e0beb4
parent 9730a715f0a1966106425644031f30029872b8e9
author Heinrich Schuchardt <xypron.glpk@gmx.de> 1600362563 +0200
committer Heinrich Schuchardt <xypron.glpk@gmx.de> 1601963036 +0200

efi_loader: QEMU CONFIG_EFI_GRUB_ARM32_WORKAROUND=n

CONFIG_EFI_GRUB_ARM32 is only needed for architectures with caches that are
not managed via CP15 (or for some outdated buggy versions of GRUB). It
makes more sense to disable the setting per architecture than per defconfig.

Move QEMU's CONFIG_EFI_GRUB_ARM32_WORKAROUND=n from defconfig to Kconfig.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>