diff --git a/configs/kernel.data b/configs/kernel.data
index 1653f0ffc71cb6e558bf5b3088718ca497d6e2b8..6184b6835cffb66cf4fa8dcae2e115916c0d24b2 100644
--- a/configs/kernel.data
+++ b/configs/kernel.data
@@ -2,6 +2,6 @@ omap-psp STABLE 3.8.13-bone86
 xenomai STABLE 3.8.13-xenomai-r86
 ti LTS44 4.4.83-ti-r119
 ti-rt LTS44 4.4.83-ti-rt-r119
-ti-xenomai LTS44 4.4.82-ti-xenomai-r118
+ti-xenomai LTS44 4.4.83-ti-xenomai-r119
 armv7 STABLE 4.12.7-armv7-x3
 ti LTS49 4.9.43-ti-r54