Index: Makefile
===================================================================
--- Makefile	(revision 97a7effc811599a0a052715fae6d7e97c2fa066c)
+++ Makefile	(revision e692a27a94144915c2caeadca44e573b14cf107b)
@@ -78,4 +78,7 @@
 ifeq ($(CONFIG_DEBUG_ALLREGS),y)
 	DEFS += -DCONFIG_DEBUG_ALLREGS
+endif
+ifeq ($(CONFIG_VHPT),y)
+	DEFS += -DCONFIG_VHPT
 endif