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