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