share/ipxe/
share/ipxe/${MACHINE_ARCH}/
%%efi%%
%%pcbios%%
