kernel - Make pcb_onfault more robust.