[SeaBIOS] [PATCH 02/15] vgabios: Use standard naming for cirrus memmodel.