[SeaBIOS] [PATCH v2] build: explicitly set ROM size

[Gerd Hoffmann]

On Fr, 2013-09-27 at 11:04 +0200, Gerd Hoffmann wrote:
> Add a config option to specify the rom size wanted.  Default is zero,
> which will automatically figure the needed size.

Pushed now.

cheers,
  Gerd