[coreboot-gerrit] New patch to review for coreboot: rockchip/rk3288: UART uses 32bit wide registers