Re: [SeaBIOS] Saving a few bytes across a reboot