LITMUS^RT and MC^2 V0 support for the ODROID-X dev board