[SeaBIOS] [PATCH 2/5] vgabios: Use standard VGA IO wrapper functions in stdvga.c.