added the kernel fault handing code