[SeaBIOS] [PATCH v2 6/6] [hack] ignore sgabios, enable sercon instead