[coreboot] Re: T440p Audio Out