[coreboot-gerrit] Patch merged into coreboot/master: 3e9ea16 coreboot: rk3288: add new ddr config and support ddr3 freq up to 800mhz