My testing suggests that Windows never uses the BIOS-style reboot approach, so this seems wrong. Does reboot=acpi work for you?-- Matthew Garrett | mjg59@srcf.ucam.org