/stand/efi/loader_ia32/
../
Makefile