[coreboot-gerrit] Patch set updated for coreboot: libpayload: use 32bit access when accessing 4byte wide uart registers