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