[PATCH 13/16] mm/percpu: micro-optimize pcpu_is_populated()