[coreboot-gerrit] Patch set updated for coreboot: 4cd6411 ipq806x: Fix casting in cbmem_top() so >=2GB can be used