Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 41f7564e975bcef427a9a5bcbb0c12c9001f1a58)
+++ kernel/Makefile	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -78,4 +78,8 @@
 ifeq ($(CONFIG_VHPT),y)
 	DEFS += -DCONFIG_VHPT
+endif
+
+ifeq ($(CONFIG_TSB),y)
+	DEFS += -DCONFIG_TSB
 endif