linux-stable-rt/drivers/platform/Kconfig