[coreboot-gerrit] New patch to review for coreboot: 3ded1e9 libpayload: x86: correct types used for writel/readl