[coreboot-gerrit] New patch to review for coreboot: rk3399: Reserve enough framebuffer memory for 32bpp hires panels