adding workaround of boot_pxe