Naming convention so far has been xxxKernelException, IIRC, to help distinguish from similarily-named user-level exceptions. Can we make that distinction here as well?