Εκεί που ξεκινάει το ipxe λέει και την έκδοσή του. Το ένα είναι πολύ παλιό, 2016, ενώ το άλλο είναι σχετικά φρέσκο, αρχές 2019, γι' αυτό και καταφέρνει να ψιλοξεκινήσει.
Αν δεις στο σκληρό τους, το win32-loader γράφει ένα αρχείο pxe.lkrn. Δεν θυμάμαι πού ακριβώς το βάζει, ίσως στο C:\Win32-loader\pxe.lkrn.
Αυτό μπορείς να δοκιμάσεις να το αντικαταστήσεις με το πιο φρέσκο
https://boot.ipxe.org/ipxe.lkrn, με την κατάλληλη αντιγραφή/μετονομασία.
Αν ούτε έτσι μπουτάρει, τότε θα πρέπει να αναφέρουμε το θέμα στους developers του iPXE. Γενικά οι (όχι realtek/intel/atheros) onboard κάρτες των laptops είναι αυτές που υποστηρίζονται λιγότερο.
Όμως στο δεύτερο κομμάτι του κολλήματος μπορεί να χρειάζεται και νεότερο pxelinux.0.
Τέλος, μπορείς απλά να κρεμάσεις ένα χαρτάκι, "πατήστε Esc κατά την εκκίνηση για να μπει στα Windows".
