It is possible to exploit SGS4 (and probably also Mini's) secure boot process. Interesting article here.