running debian jessie powered by 3.8.13.14 using 8gb sdcard and a standard micro-hdmi to hdmi cable typed in the terminal: sudo bash sync && poweroff  sources seem to point to this file: vi arch/arm/mach-exynos/mach-hkdk4412.c +585