mini4はOSは12になる見込みですか。それなら新しいの待たずに買おうと思うのですが。