No irq handler for vector -> dead keyboard

I've been getting a ton of these. They seem to persist across kernel updates ever since I first put F17 on. Once they start happening, usually within a few hours of a reboot, they PS2 keyboard stops working right (first keypress is lost, autorepeat keypresses come through) although restarting X seems to fix them. Unplugging the keyboard and plugging it back in does not fix anything. The errors keep happening even though the keyboard is not plugged in at all at the moment (USB keyboards work fine) Motherboard is a GA-X58A-UD3R with an I7 X980, 24 GB of RAM, an SSD for boot and two 3TB drives for data. ATI Radeon HD graphics. A couple of other pci/pcie cards if it matters. Any ideas? Message from syslogd@envy at Aug 26 05:20:39 ... kernel:[647218.583886] do_IRQ: 3.191 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 05:23:39 ... kernel:[647398.851327] do_IRQ: 3.73 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 06:48:59 ... kernel:[652511.853351] do_IRQ: 3.112 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 07:51:49 ... kernel:[656276.261452] do_IRQ: 2.133 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 08:58:59 ... kernel:[660300.924911] do_IRQ: 2.189 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 09:01:29 ... kernel:[660450.583000] do_IRQ: 4.39 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 09:27:29 ... kernel:[662008.464041] do_IRQ: 3.176 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 09:53:09 ... kernel:[663546.372662] do_IRQ: 5.153 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 10:16:19 ... kernel:[664934.485086] do_IRQ: 3.160 No irq handler for vector (irq -1) Message from syslogd@envy at Aug 26 11:20:19 ... kernel:[668769.269528] do_IRQ: 4.127 No irq handler for vector (irq -1) Linux envy.delorie.com 3.4.4-3.fc17.x86_64 #1 SMP Tue Jun 26 20:54:56 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux BOOT_IMAGE=/vmlinuz-3.4.4-3.fc17.x86_64 root=UUID=933fd9d9-a7dc-48bc-abae-fe79985817ce ro rd.md=0 rd.lvm=0 rd.dm=0 SYSFONT=True KEYTABLE=us rd.luks=0 LANG=en_US.UTF-8 quiet CPU0 CPU1 CPU2 CPU3 CPU4 CPU5 CPU6 CPU7 CPU8 CPU9 CPU10 CPU11 0: 132 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-edge timer 1: 78727 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-edge i8042 8: 1 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-edge rtc0 9: 0 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-fasteoi acpi 16: 3 83 0 996020 0 0 0 0 0 0 0 0 IO-APIC-fasteoi uhci_hcd:usb3, pata_jmicron, bttv0 17: 0 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-fasteoi ahci 18: 6770 2394879 8195485 2454393 269949 4402069 0 0 0 0 0 0 IO-APIC-fasteoi ehci_hcd:usb1, uhci_hcd:usb5, uhci_hcd:usb8, pata_jmicron, firewire_ohci 19: 0 0 0 0 0 0 0 0 0 0 0 0 IO-APIC-fasteoi ahci, uhci_hcd:usb7 21: 1 0 0 0 309 0 0 0 0 0 0 0 IO-APIC-fasteoi uhci_hcd:usb4 23: 33011 1154419 2337821 1591991 300647 2306632 0 0 0 0 0 0 IO-APIC-fasteoi ehci_hcd:usb2, uhci_hcd:usb6 43: 36610 8598132 37612986 49599749 39789306 54499151 0 0 0 0 0 0 PCI-MSI-edge ahci 44: 9091 94873 169008 118253 64004 183937 0 0 0 0 0 0 PCI-MSI-edge ahci 45: 1 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 46: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 47: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 48: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 49: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 50: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 51: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 52: 0 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge xhci_hcd 53: 113205 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge snd_hda_intel 54: 377 0 0 0 33914920 0 0 0 0 0 0 0 PCI-MSI-edge p16p1-rx-0 55: 399 0 0 0 0 31840977 0 0 0 0 0 0 PCI-MSI-edge p16p1-tx-0 56: 2 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge p16p1 57: 293 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge snd_hda_intel 58: 404343231 0 0 0 0 0 0 0 0 0 0 0 PCI-MSI-edge fglrx[0]@PCI:3:0:0 NMI: 145313 74482 71675 70513 71551 67427 10562 12670 14571 15801 15452 14993 Non-maskable interrupts LOC: 320471996 301330328 285736259 291638142 261494069 293187054 45291027 57684487 65560054 75927025 72076064 72012275 Local timer interrupts SPU: 0 0 0 0 0 0 0 0 0 0 0 0 Spurious interrupts PMI: 145313 74482 71675 70513 71551 67427 10562 12670 14571 15801 15452 14993 Performance monitoring interrupts IWI: 0 0 0 0 0 0 0 0 0 0 0 0 IRQ work interrupts RTR: 10 0 0 0 0 0 0 0 0 0 0 0 APIC ICR read retries RES: 133795108 66236385 6322136 1537323 1517414 1077371 524464 470276 479232 493501 473431 515586 Rescheduling interrupts CAL: 412265 401612 402301 403248 404362 409681 295359 296392 301165 301202 297447 295056 Function call interrupts TLB: 883658 859262 781502 802074 823327 837487 162596 183113 186939 218349 182449 177147 TLB shootdowns TRM: 0 0 0 0 0 0 0 0 0 0 0 0 Thermal event interrupts THR: 0 0 0 0 0 0 0 0 0 0 0 0 Threshold APIC interrupts MCE: 0 0 0 0 0 0 0 0 0 0 0 0 Machine check exceptions MCP: 2264 2264 2264 2264 2264 2264 2264 2264 2264 2264 2264 2264 Machine check polls ERR: 0 MIS: 1 00:00.0 Host bridge: Intel Corporation 5520/5500/X58 I/O Hub to ESI Port (rev 13) 00:01.0 PCI bridge: Intel Corporation 5520/5500/X58 I/O Hub PCI Express Root Port 1 (rev 13) 00:02.0 PCI bridge: Intel Corporation 5520/5500/X58 I/O Hub PCI Express Root Port 2 (rev 13) 00:03.0 PCI bridge: Intel Corporation 5520/5500/X58 I/O Hub PCI Express Root Port 3 (rev 13) 00:10.0 PIC: Intel Corporation 5520/5500/X58 Physical and Link Layer Registers Port 0 (rev 13) 00:10.1 PIC: Intel Corporation 5520/5500/X58 Routing and Protocol Layer Registers Port 0 (rev 13) 00:11.0 PIC: Intel Corporation 5520/5500 Physical and Link Layer Registers Port 1 (rev 13) 00:11.1 PIC: Intel Corporation 5520/5500 Routing & Protocol Layer Register Port 1 (rev 13) 00:13.0 PIC: Intel Corporation 5520/5500/X58 I/O Hub I/OxAPIC Interrupt Controller (rev 13) 00:14.0 PIC: Intel Corporation 5520/5500/X58 I/O Hub System Management Registers (rev 13) 00:14.1 PIC: Intel Corporation 5520/5500/X58 I/O Hub GPIO and Scratch Pad Registers (rev 13) 00:14.2 PIC: Intel Corporation 5520/5500/X58 I/O Hub Control Status and RAS Registers (rev 13) 00:15.0 PIC: Intel Corporation 5520/5500/X58 Trusted Execution Technology Registers (rev 13) 00:1a.0 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #4 00:1a.1 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #5 00:1a.2 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #6 00:1a.7 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB2 EHCI Controller #2 00:1b.0 Audio device: Intel Corporation 82801JI (ICH10 Family) HD Audio Controller 00:1c.0 PCI bridge: Intel Corporation 82801JI (ICH10 Family) PCI Express Root Port 1 00:1c.1 PCI bridge: Intel Corporation 82801JI (ICH10 Family) PCI Express Port 2 00:1c.3 PCI bridge: Intel Corporation 82801JI (ICH10 Family) PCI Express Root Port 4 00:1d.0 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #1 00:1d.1 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #2 00:1d.2 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB UHCI Controller #3 00:1d.7 USB Controller: Intel Corporation 82801JI (ICH10 Family) USB2 EHCI Controller #1 00:1e.0 PCI bridge: Intel Corporation 82801 PCI Bridge (rev 90) 00:1f.0 ISA bridge: Intel Corporation 82801JIR (ICH10R) LPC Interface Controller 00:1f.2 SATA controller: Intel Corporation 82801JI (ICH10 Family) SATA AHCI Controller 00:1f.3 SMBus: Intel Corporation 82801JI (ICH10 Family) SMBus Controller 01:00.0 SATA controller: Marvell Technology Group Ltd. 88SE9128 PCIe SATA 6 Gb/s RAID controller (rev 11) 02:00.0 USB Controller: NEC Corporation uPD720200 USB 3.0 Host Controller (rev 03) 03:00.0 VGA compatible controller: ATI Technologies Inc Barts XT [ATI Radeon HD 6800 Series] 03:00.1 Audio device: ATI Technologies Inc Barts HDMI Audio [Radeon HD 6800 Series] 04:00.0 Ethernet controller: Intel Corporation 82574L Gigabit Network Connection 05:00.0 SATA controller: JMicron Technology Corp. JMB362/JMB363 Serial ATA Controller (rev 02) 05:00.1 IDE interface: JMicron Technology Corp. JMB362/JMB363 Serial ATA Controller (rev 02) 06:00.0 SATA controller: JMicron Technology Corp. JMB362/JMB363 Serial ATA Controller (rev 03) 06:00.1 IDE interface: JMicron Technology Corp. JMB362/JMB363 Serial ATA Controller (rev 03) 07:00.0 Multimedia video controller: Brooktree Corporation Bt878 Video Capture (rev 02) 07:00.1 Multimedia controller: Brooktree Corporation Bt878 Audio Capture (rev 02) 07:06.0 FireWire (IEEE 1394): Texas Instruments TSB43AB23 IEEE-1394a-2000 Controller (PHY/Link) 3f:00.0 Host bridge: Intel Corporation Device 2c71 (rev 02) 3f:00.1 Host bridge: Intel Corporation Xeon 5600 Series QuickPath Architecture System Address Decoder (rev 02) 3f:02.0 Host bridge: Intel Corporation Xeon 5600 Series QPI Link 0 (rev 02) 3f:02.1 Host bridge: Intel Corporation Xeon 5600 Series QPI Physical 0 (rev 02) 3f:02.2 Host bridge: Intel Corporation Xeon 5600 Series Mirror Port Link 0 (rev 02) 3f:02.3 Host bridge: Intel Corporation Xeon 5600 Series Mirror Port Link 1 (rev 02) 3f:03.0 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Registers (rev 02) 3f:03.1 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Target Address Decoder (rev 02) 3f:03.4 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Test Registers (rev 02) 3f:04.0 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 0 Control (rev 02) 3f:04.1 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 0 Address (rev 02) 3f:04.2 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 0 Rank (rev 02) 3f:04.3 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 0 Thermal Control (rev 02) 3f:05.0 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 1 Control (rev 02) 3f:05.1 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 1 Address (rev 02) 3f:05.2 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 1 Rank (rev 02) 3f:05.3 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 1 Thermal Control (rev 02) 3f:06.0 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 2 Control (rev 02) 3f:06.1 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 2 Address (rev 02) 3f:06.2 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 2 Rank (rev 02) 3f:06.3 Host bridge: Intel Corporation Xeon 5600 Series Integrated Memory Controller Channel 2 Thermal Control (rev 02)