/bin
/bin-x86_64-efi
/ipfireboot.ipxe