我们仍未知小米到底生产了多少air 4 se