machinekit: bump kernel to 3.8.13-xenomai-r72

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

configs/machinekit-debian-wheezy.conf

@@ -50,12 +50,12 @@ rfs_ssh_user_pass="enable"
 ##
 ##enable kernel repo: http://repos.rcn-ee.net/(debian|ubuntu)
 repo_rcnee="enable"
-repo_rcnee_pkg_list="linux-image-3.8.13-xenomai-r71 \
+repo_rcnee_pkg_list="linux-image-3.8.13-xenomai-r72 \
 ipumm-dra7xx-installer rcn-ee-archive-keyring tiomapconf \
 acpi-support-base am335x-pru-package libsoc2 libsoc-dev nodejs nodejs-legacy npm \
 xinput-calibrator xserver-xorg-video-modesetting c9-core-installer"
 #
-repo_rcnee_pkg_version="3.8.13-xenomai-r71"
+repo_rcnee_pkg_version="3.8.13-xenomai-r72"
 include_firmware="enable"
 #
 repo_external="enable"