[PATCH] kernel: enable CONFIG_SHUFFLE_PAGE_ALLOCATOR