[SeaBIOS] [PATCH 5/5] vgabios: Some tweaks to optimize stack space.