#include "misc.h"
/* These actually do the work of building the kernel identity maps. */
-#include <asm/init.h>
#include <linux/pgtable.h>
+#include <asm/init.h>
/* Use the static base for this part of the boot process */
#undef __PAGE_OFFSET
#define __PAGE_OFFSET __PAGE_OFFSET_BASE