Fixed ARMv7 port code by backporting the files from 2.6.x branch.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/branches/stable_2.4.x@6559 35acf78f-673a-0410-8e92-d51de3d6d3f4