page allocator: inline __rmqueue_smallest()