kernel/include/config/SHUFFLE_PAGE_ALLOCATOR