x86: don't destroy %rbp on kernel-mode faults