Re: [SeaBIOS] [PATCH v3 0/3] usb: add xhci support

[Gerd Hoffmann]

  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?
Exactly.

cheers,
  Gerd