Old setup was as follows: Lenovo W520 connected to TV using a passive DP to HDMI adapter. Audio was fed from the TV to the Harman Kardon receiver with digital coax. Audio worked fine, no delays. Then ...