Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision ad12b5ea675f6fa2b88cd868c39d5005c6cd86da)
+++ kernel/generic/include/config.h	(revision 38ff9259feaac5eadb46f1f741c2126bbca6768c)
@@ -95,4 +95,7 @@
 
 	bool non_identity_configured;   
+
+	/** End of physical memory. */
+	uint64_t physmem_end;
 } config_t;