[coreboot-gerrit] Patch merged into coreboot/master: 02aebb6 CBMEM: Change some types to uintptr_t