[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