[SeaBIOS] [PATCH] Ignore sgabios rom in case sercon is enabled.