[coreboot-gerrit] Patch merged into coreboot/master: cab1991 ipq806x: Fix casting in cbmem_top() so >=2GB can be used