Fix /arch/arm/Kconfig