Workaround for UEFI PXE boot problems.
1 file changed