original_kernel/arch/arm/common/Kconfig