linux-stable-rt/drivers/platform
..
x86
Kconfig
Makefile