[coreboot] New patch to review for coreboot: 690e7ef cbmem: replace pointer type by uint64_t