Added IPSW specs