[coreboot] Patch merged into coreboot/master: 8deb5c6 libpayload: Use the same type for 32 bit data in readl as in uint32_t.