[coreboot-gerrit] New patch to review for coreboot: rockchip/rk3399: display: do not allocate framebuffer in coreboot