[coreboot-gerrit] New patch to review for coreboot: f605361 ipq806x: Fix casting in cbmem_top() so >=2GB can be used