Can gPXE in EFI start anything other than other .efi images?  I.e., is it possible to direct load linux kernels/initrd from an EFI build of gPXE?