Update to a new snapshot.

Consolidate the qemu-cheri ports into one now that they can be built in a
single tree (thanks to arichardson@).

Sponsored by: DARPA, AFRL