kernel bump: 3.8.13-xenomai (3.8.13-xenomai-r81)

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

configs/machinekit-debian-jessie.conf

@@ -153,7 +153,7 @@ repo_rcnee_pkg_list="	\
 	haveged	\
 	libsoc-dev	\
 	libsoc2	\
-	linux-image-3.8.13-xenomai-r79	\
+	linux-image-3.8.13-xenomai-r81	\
 	rcn-ee-archive-keyring	\
 	rcnee-access-point	\
 	tiomapconf	\
@@ -166,7 +166,7 @@ repo_rcnee_pkg_list="	\
 # drop for now:
 # c9-core-installer
 
-repo_rcnee_pkg_version="3.8.13-xenomai-r79"
+repo_rcnee_pkg_version="3.8.13-xenomai-r81"
 include_firmware="enable"
 #
 repo_external="enable"

configs/machinekit-debian-wheezy.conf

@@ -143,7 +143,7 @@ repo_rcnee_pkg_list="	\
 	ipumm-dra7xx-installer	\
 	libsoc-dev	\
 	libsoc2	\
-	linux-image-3.8.13-xenomai-r79	\
+	linux-image-3.8.13-xenomai-r81	\
 	nodejs	\
 	nodejs-legacy	\
 	npm	\
@@ -156,7 +156,7 @@ repo_rcnee_pkg_list="	\
 
 #
 repo_rcnee_pkg_version="	\
-	3.8.13-xenomai-r79	\
+	3.8.13-xenomai-r81	\
 "
 
 include_firmware="enable"