[SeaBIOS] [PATCH 06/15] vgabios: Add memmodel field to bochsvga mode list.