efi_loader: disable GRUB_ARM32_WORKAROUND on ARCH_SUNXI
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Wed, 3 Mar 2021 13:05:05 +0000 (14:05 +0100)
committerHeinrich Schuchardt <xypron.glpk@gmx.de>
Thu, 25 Mar 2021 19:07:01 +0000 (20:07 +0100)
commit4bad14ae793c29071712db0004fb9c8ec697f161
tree5869ff6918f139e10bed6c2fb31eb84221a0fb21
parent874dcedee92a828b03c8d3146dccfaa8b709618b
efi_loader: disable GRUB_ARM32_WORKAROUND on ARCH_SUNXI

GRUB_ARM32_WORKAROUND can be disabled on ARCH_SUNXI as the Allwinner SoCs
only have a level 2 cache controlled via CP15 and not an architecturally
defined cache. Having the cache available speeds up booting Linux.

On ARCH_BCM283X it is already disabled via rpi_2_defconfig. But let's move
this setting to Kconfig.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
lib/efi_loader/Kconfig