[coreboot-gerrit] Patch merged into coreboot/master: skylake: fix VSDIO is at 0.8V when SDCard is not inserted