Update samsung.c

Kernel Oops issue with RT_PREEMP / Xenomai RT Kernel and console