Re: [SeaBIOS] Missing BIOS32 in QEMU 0.12.1