[SeaBIOS] Re: does sercon-port support for memory mapped MMIO 32bit address?