Hmmmm... Peter has the most experience with these issues. Maybe the best
would be to have this sort of logic in a more general way in the page
allocator? Similar issues surely exist with the page allocator and a fix
there would fix it for all users.
--