[coreboot-gerrit] Patch merged into coreboot/master: 0a57e99 hp/pavilion_m6_1035dx: Do not re-init EC and lid SMI on S3 resume