[coreboot-gerrit] Patch merged into coreboot/master: f38145e AMD Olive Hill: fix Windows 7 HDMI audio issue