[coreboot] Memory mapped IO UART for seabios sercon-port