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