Re: [SeaBIOS] [PATCH] build: explicitly set rom size