diff --git a/include/plat/tk1/autoconf.h b/include/plat/tk1/autoconf.h
index 564f82d7e..4291c27d1 100644
--- a/include/plat/tk1/autoconf.h
+++ b/include/plat/tk1/autoconf.h
@@ -59,6 +59,7 @@
 #define CONFIG_HAVE_LIB_SEL4_DEBUG 1
 #define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
 #define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_DEBUG_BUILD 1
 #define CONFIG_LIB_UTILS 1
 #define CONFIG_OPTIMISATION_O2 1
 #define CONFIG_HAVE_LIB_CPIO 1
diff --git a/include/plat/tk1/plat/machine/hardware.bf b/include/plat/tk1/plat/machine/hardware.bf
index b443ccbb8..b20c6fa6b 100644
--- a/include/plat/tk1/plat/machine/hardware.bf
+++ b/include/plat/tk1/plat/machine/hardware.bf
@@ -52,4 +52,3 @@ block iopte {
     padding                 7
     field_high  address     22
 }
-