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