arm: Perform additional cache clean to prevent TLB walker loading garbage entries for first user process
Remove last bits of unsupported integratorcp platform.

Suggested by @jserv on https://github.com/seL4/seL4/issues/1
Merge branch 'master' into experimental