[coreboot-gerrit] New patch to review for coreboot: 8790956 cbmem: Fix 64-bit pointer related casts in dynamic_cbmem.c