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