Make linux optional as all other configs.
[syslinux-debian/hramrach.git] / efi32 / com32 / mboot / 
treed0ec6c2ae0d7f2afa6fef862fe89ebf394884c58
drwxr-xr-x   ..
-rwxr-xr-x 10744 mboot.c32