iphone 4 iphone 4s baseband 4.12.01 at&t 5.1