Holmade with k.8
updated ARM model
Merge pull request #134 from nargeskh/master

ARM Security Properties: Holmade with Hol4.k.8