d28a31c220
First, it was failing to reset the PCB's pcb_onfault member to NULL. Under some really obscure circumstances this might cause a wild jump within the kernel when a panic would otherwise occur. Second, the handler was loading the GP register needlessly and with an incorrect value. Reviewed by: Doug Rabson <dfr> Approved by: Jordan Hubbard <jkh>