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