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