/arch/x86/
../
Kconfig
Makefile
bios
boards
boot
configs
include
lib
mach-efi
mach-i386