[SeaBIOS] [PATCH] vgabios: Make sure stdvga_list_modes() doesn't overrun the buffer.