>Hmm, as mentioned in port-arm32/11921 (and apparently similarly in 
>kern/9859), my shark is wedging up from time to time.  No error, no 
>keyboard, no panic.

"At least it's not me".

I've found that sometime hitting the keyboard makes it wake up (that's
from attached PC keyboard, not a serial console).

--Ken