[coreboot-gerrit] New patch to review for coreboot: fd40751 lenovo/t530: Possibly missing gpio writeout