[coreboot-gerrit] Patch merged into coreboot/master: ac490b8 coreboot: rk3288: Add a stub implementation of the rk3288 SOC