FreeBSD normally prints out a few words around a faulting instruction to
ease debugging.  Unfortunately, these accesses are done directly rather
than via copyin(), so may experience user TLB faults in a context that
cannot take them.  For some reason this is now triggering quite a bit --
perhaps a hardware or software change.  Further, we need to do a $pcc
transform here on CHERI.  In the future we'll use a new CP0 shadow register
to access the faulting instruction avoiding this complexity (as it may turn
out that $pcc doesn't have read access..).