With this applied, we crossed over the 128K boundary. So it won't be easy to put this bios into qemu. Thoughts?
Guess we finally have to deal with the 128k -> 256k jump in qemu then. CONFIG_USB_XHCI=n should to the trick until this is done.
One simple way is to have two bios binaries built with different flags, and use the stripped ones for the old machine type.
Yep, that'll work. Your acpi patch series with ACPI_BUILTIN=n might bring us under 128k too. But that will most likely not last forever, so I guess I'll go for one 128k and one 256k seabios binary with the next feature update (aka master branch release).