[coreboot-gerrit] Change in coreboot[master]: cast all cbmem_top_chipset and cbmem_top function to uintptr_t