kernel bump: 4.14.x-ti-rt: (4.14.13-ti-rt-r25)

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

configs/kernel.data

@@ -6,4 +6,4 @@ ti LTS44 4.4.110-ti-r142
 ti LTS49 4.9.76-ti-r91
 ti-rt LTS49 4.9.76-ti-rt-r91
 ti LTS414 4.14.13-ti-r25
-ti-rt LTS414 4.14.12-ti-rt-r24
+ti-rt LTS414 4.14.13-ti-rt-r25

configs/machinekit-debian-stretch.conf

@@ -139,7 +139,7 @@ repo_rcnee_pkg_list="	\
 	firmware-am57xx-opencl-monitor	\
 	ipumm-dra7xx-installer	\
 	gpiod	\
-	linux-image-4.14.12-ti-rt-r24	\
+	linux-image-4.14.13-ti-rt-r25	\
 	pru-software-support-package	\
 	rcn-ee-archive-keyring	\
 	roboticscape	\
@@ -158,7 +158,7 @@ repo_rcnee_pkg_list="	\
 #repo_nodesource="node_8.x"
 #repo_nodesource_dist="stretch"
 ##
-repo_rcnee_pkg_version="4.14.12-ti-rt-r24"
+repo_rcnee_pkg_version="4.14.13-ti-rt-r25"
 include_firmware="enable"
 #
 repo_external="enable"