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).
cheers,
Gerd
Both built from same source with different flags, right?