Same file, except for whitespace, comment formatting and the extra
DEBUG_PAGE_ALLOC function in _32.
Signed-off-by: NThomas Gleixner <tglx@linutronix.de>