[PATCH] ARM: Mark double-precision instructions as such

[Tim Northover]

>   Ok, looks good to commit this in the mean time if you want.

Thanks for looking at it Amara. I've committed it as r193354 with your
suggestion.

Cheers.

Tim.