Add caveat to __builtin_readcyclecounter documentation.

The ARM cycle-counter can be restricted by the operating system; it's
worth warning potential users of this issue.