中古でiOS11のmini4を手に入れて、別段もっさり感はないんだけど12にした方がもっと速くなるかな?