Re: [SeaBIOS] reboot fails with QEMU "isapc" machine type