arm: add comments to arm.h for coprocessor register types