We use a DART-MX6 on a custom carrier board, with a custom meta (poky 2.1.2, krogoth branch, kernel 4.1.15 from your git). We use u-boot 2015.04_3.14.52 and we have a strange freeze in the kernel.
The kernel hangs at:
[ 0.618388] mxc_hdmi 20e0000.hdmi_video: create default modelist
Full Log : https://gist.github.com/Pehoh/8459258658b4f0b1ac818e014a6fb179
Steps to reproduce the issue: we use GPU/VPU/IPU on the board, we have high temperature (85°C) and we restart the system (reboot). The UBoot delay the boot when the temperature is too high (>80°C) and then it starts the kernel. The kernel hang happens a this moment.
I found the similar error on NXP community : https://community.nxp.com/thread/438816, but with no correct answer.
I tried to remove CONFIG_IMX_HDMI CONFIG_CMD_HDMIDETECT from uBoot, and configure manually in bootargs the HDMI, but it does not work either.
Did you ever experience something like that? Do you think I need to update to uboot 2015.04_4.1.15?
EDIT: When the board is colder, there is no problem. The line after the mxc_hdmi 20e0000.hdmi_video: create default modelist is [ 1.279328] console [ttymxc0] enabled. Could it be a tty error?
EDIT2: Without HDMI cable connected, we do not have the error