We recently found a need to upgrade. It looks like a more up to date listing of supported kernels can be found here: linux-imx - i.MX Linux kernel
Is this a correct assertion?
Assuming the is a list of supported kernels, On this page I was looking at the branch: git.kernel.org/linux-stable/linux-4.17.y (linux-imx - i.MX Linux kernel ). Our original 4.1.15 kernel had a lot of changes on the HDMI driver under <kernel_root>/drivers/video/fbdev/mxc, however I've noticed one of the major changes in this 4.17.19 kernel is this "mxc" subdirectory is missing. If this 4.17.19 kernel is valid, where did the fbdev/mxc work go?