mm/page_alloc.c: avoid potential NULL pointer dereference