/sys/boot/ia64/
../
Makefile
common
efi