余談ですが、、、
ios12.0.1は各iPhone端末上でユーザーが任意にアップデートできるバージョンであって機種の型番ではないです。iPhone7でも8でも10でも、iosをアップデートしたらみんなiPhoneユーザーはみんなios12.0.1になります。