original_kernel/arch/arm/plat-samsung/Kconfig