Add builtins for the missing CHERI intrinsics.