update odroidu3_defconfig with mali support

change your boot.scr to use noedid, mali support with DRI and FB
Update samsung.c

Kernel Oops issue with RT_PREEMP / Xenomai RT Kernel and console
Merge pull request #1 from adbensi/odroid-3.8.y-xenomai

sync repos