[SeaBIOS] Re: [PATCH] Fix serial port detection on systems with Blizzard Chrome EC