[arch-releng] Patch for archiso-pxe-server