Re: [SeaBIOS] [PATCH 0/3] add option to generate small bios