30.6.1.2. ARM VADD instruction