linux/drivers/platform
..
x86
Kconfig
Makefile