x86_64: kernel trap/interrupt handling