[SeaBIOS] [PATCH] vgabios: Don't default the extra vgabios stack allocation on.