[SeaBIOS] Re: [PATCH] vbe: round up save/restore size