arch/arm/configs: fix for compilation