Add ARMv7 instruction set reference for gxr.
...
Merge branch 'master' of github.com:VEROS/VEROS

Conflicts:
	verification/src/Kernel/Alarm.v