Upgrade kernel for ADI's fixes for HDMI detection