diff --git a/scripts/dts b/scripts/dts
index 1f3ab70..34b082e 100644
--- a/scripts/dts
+++ b/scripts/dts
@@ -15,6 +15,9 @@ while : ; do
   # Do some subscription routine each time menu is rendered:
   subscription_routine
 
+  # Some menu options depend on platform data:
+  board_config
+
   # Header should always be printed:
   show_header
   if [ -z "$DPP_SUBMENU_ACTIVE" ]; then