added minimal odroidu3 xenomai config