[SeaBIOS] [PATCH 09/15] vgabios: Use vgamode_s in cirrus and bochsvga mode tables.