Added patch to improve EFI PXE boot performance

https://savannah.gnu.org/bugs/?41731