[coreboot-gerrit] Patch merged into coreboot/master: 3c6d36d x230: Fix headset microphone support.