and the redmi note 9s will receive the miui 12