Linux Kernel forked from ADI (with latest ADI HDMI drivers)