[SeaBIOS] [PATCH 5/6] vgabios: Move save/restore state code from vgabios.c to stdvga.c.