[coreboot-gerrit] Patch merged into coreboot/master: d3b40bf baytrail: Fix hdmi audio choppy issue