How to do PXE-boot when the BIOS doesn't support it at all?