[coreboot-gerrit] Patch set updated for coreboot: 4ddf62c baytrail: reboot with EC in S0 with no MRC cache and EC in RW