debug-pagealloc.c fix