BIOS: Add PXE loader