linux_old1/drivers/platform/Kconfig