Merge change from cheri-binutils:

  commit 7ba1d07d6a34607dec079984d2596cf24b138488
  Author: Robert N. M. Watson <robert.watson@cl.cam.ac.uk>
  Date:   Mon Feb 17 21:51:55 2014 +0000

      Add possibly correct binutils support for new ctoptr instruction.