[SeaBIOS] [PATCH] Updated version of OXPCIe serial port support