Fix cheri_zerocap.  Should also be marked deprecated, but we're building stuff with -Werror, which will break.