Re: [PATCH v6 07/12] mm: Kill is_dev_zone() helper