Provide PXE boot for UEFI systems

As discussed in FS#50188 it is possible to provide PXE boot also for UEFI systems. Patches have been provided in a comment and need to be re-evaluated for the current setup.