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