A badpage fault in a kernel driver doesn't exactly recover from exceptions like that