[coreboot-gerrit] Patch merged into coreboot/master: 4b90b79 cbmem: Fix 64-bit pointer related casts in dynamic_cbmem.c