Re: page allocator bug in 3.16?