I don't know for certain how the PE file format works with UEFI, but there is probably a way to make UEFI secure boot work without a PE file format (though it might require a revision to the UEFI ...