Linux kernel for GK802/HI802, i.MX6 based HDMI-dongle/tv-stick computers