[SeaBIOS] Saving a few bytes across a reboot