diff --git a/configs/bb.org-debian-stable-4gb.conf b/configs/bb.org-debian-stable-4gb.conf
index e1d697caf92ea404dcfffad41f120726ca52d8ac..0433b6337c9ae05fa15ff946d487405cfccec4dd 100644
--- a/configs/bb.org-debian-stable-4gb.conf
+++ b/configs/bb.org-debian-stable-4gb.conf
@@ -51,9 +51,10 @@ 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-bone69 \
-bbx15-ducati-firmware-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 cloud9-installer"
+acpi-support-base am335x-pru-package bbx15-ducati-firmware-installer cloud9-installer \
+device-tree-compiler libsoc2 libsoc-dev nodejs nodejs-legacy npm \
+rcn-ee-archive-keyring tiomapconf ti-pru-cgt-installer \
+xinput-calibrator xserver-xorg-video-modesetting"
 #
 repo_rcnee_pkg_version="3.8.13-bone69"
 include_firmware="enable"
diff --git a/configs/bb.org-debian-stable.conf b/configs/bb.org-debian-stable.conf
index f4b27b6c280c51f5f11cdb71e5a8c87611e8a58b..7b0981314d363d0f366c05f7238656192ed040cb 100644
--- a/configs/bb.org-debian-stable.conf
+++ b/configs/bb.org-debian-stable.conf
@@ -51,9 +51,10 @@ 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-bone69 \
-bbx15-ducati-firmware-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 cloud9-installer"
+acpi-support-base am335x-pru-package bbx15-ducati-firmware-installer cloud9-installer \
+device-tree-compiler libsoc2 libsoc-dev nodejs nodejs-legacy npm \
+rcn-ee-archive-keyring tiomapconf ti-pru-cgt-installer \
+xinput-calibrator xserver-xorg-video-modesetting"
 #
 repo_rcnee_pkg_version="3.8.13-bone69"
 include_firmware="enable"