Merge branches 'fix/efi/update-gnu-efi', 'fix/efi/reuse-udp-port' and 'fix/efi/elf-to-pe' into fix/efi/merge