x86: don't send SIGBUS for kernel page faults