[coreboot] [coreboot - Bug #533] T440p audio mute button and fan control not working