An analysis of iBoot’s Image4 parser