machinekit: switch to v4.4.x-rt (4.4.68-ti-rt-r112)

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>

configs/machinekit-debian-jessie.conf

@@ -152,7 +152,7 @@ repo_rcnee_pkg_list="	\
 	ipumm-dra7xx-installer	\
 	libsoc-dev	\
 	libsoc2	\
-	linux-image-4.4.68-ti-xenomai-r113	\
+	linux-image-4.4.68-ti-rt-r112	\
 	pru-software-support-package	\
 	rcn-ee-archive-keyring	\
 	tiomapconf	\
@@ -165,7 +165,7 @@ repo_rcnee_pkg_list="	\
 # drop for now:
 # c9-core-installer
 
-repo_rcnee_pkg_version="4.4.68-ti-xenomai-r113"
+repo_rcnee_pkg_version="4.4.68-ti-rt-r112"
 include_firmware="enable"
 #
 repo_external="enable"