Another update!

It seems to be ipw2200's fault (wireless network device) !!
If I 'blacklist' ipw2200 so it doesn't get loaded at startup
(by adding "blacklist ipw2200" to "/etc/modprobe.d/blacklist")
then I don't get the "IRQ #10 Disabled" error in dmesg.

When I "modprobe -v ipw2200" later,
IRQ #10 gets disabled again... (error in dmesg)

It's kinda weird, because ipw2200 itself resides on IRQ #11...
I'm going to try out some stuff with the ipw2200 driver . . .

Also: the following errors appear somewhere at the beginning of dmesg,
no matter if I disable ipw2200 or not:

Feb 27 01:19:37 axxel kernel: [   12.477261] PCI: No IRQ known for interrupt pin A of device 0000:00:01.0. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.477265] PCI: Setting latency timer of device 0000:00:01.0 to 64
Feb 27 01:19:37 axxel kernel: [   12.477280] PCI: No IRQ known for interrupt pin A of device 0000:00:1c.0. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.477285] PCI: Setting latency timer of device 0000:00:1c.0 to 64
Feb 27 01:19:37 axxel kernel: [   12.477300] PCI: No IRQ known for interrupt pin B of device 0000:00:1c.1. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.477305] PCI: Setting latency timer of device 0000:00:1c.1 to 64
Feb 27 01:19:37 axxel kernel: [   12.477320] PCI: No IRQ known for interrupt pin C of device 0000:00:1c.2. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.477325] PCI: Setting latency timer of device 0000:00:1c.2 to 64
Feb 27 01:19:37 axxel kernel: [   12.477334] PCI: Setting latency timer of device 0000:00:1e.0 to 64
Feb 27 01:19:37 axxel kernel: [   12.477688] audit: initializing netlink socket (disabled)
Feb 27 01:19:37 axxel kernel: [   12.477696] audit(1140999560.013:1): initialized
Feb 27 01:19:37 axxel kernel: [   12.477778] VFS: Disk quotas dquot_6.5.1
Feb 27 01:19:37 axxel kernel: [   12.477793] Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
Feb 27 01:19:37 axxel kernel: [   12.477835] Initializing Cryptographic API
Feb 27 01:19:37 axxel kernel: [   12.477839] io scheduler noop registered
Feb 27 01:19:37 axxel kernel: [   12.477845] io scheduler anticipatory registered
Feb 27 01:19:37 axxel kernel: [   12.477849] io scheduler deadline registered
Feb 27 01:19:37 axxel kernel: [   12.477858] io scheduler cfq registered
Feb 27 01:19:37 axxel kernel: [   12.478104] PCI: No IRQ known for interrupt pin A of device 0000:00:01.0. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.478108] PCI: Setting latency timer of device 0000:00:01.0 to 64
Feb 27 01:19:37 axxel kernel: [   12.478111] pcie_portdrv_probe->Dev[2591:8086] has invalid IRQ. Check vendor BIOS
Feb 27 01:19:37 axxel kernel: [   12.478139] assign_interrupt_mode Found MSI capability
Feb 27 01:19:37 axxel kernel: [   12.478172] Allocate Port Service[pcie00]
Feb 27 01:19:37 axxel kernel: [   12.478203] PCI: No IRQ known for interrupt pin A of device 0000:00:1c.0. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.478208] PCI: Setting latency timer of device 0000:00:1c.0 to 64
Feb 27 01:19:37 axxel kernel: [   12.478211] pcie_portdrv_probe->Dev[2660:8086] has invalid IRQ. Check vendor BIOS
Feb 27 01:19:37 axxel kernel: [   12.478244] assign_interrupt_mode Found MSI capability
Feb 27 01:19:37 axxel kernel: [   12.478276] Allocate Port Service[pcie00]
Feb 27 01:19:37 axxel kernel: [   12.478300] Allocate Port Service[pcie02]
Feb 27 01:19:37 axxel kernel: [   12.478327] PCI: No IRQ known for interrupt pin B of device 0000:00:1c.1. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.478332] PCI: Setting latency timer of device 0000:00:1c.1 to 64
Feb 27 01:19:37 axxel kernel: [   12.478335] pcie_portdrv_probe->Dev[2662:8086] has invalid IRQ. Check vendor BIOS
Feb 27 01:19:37 axxel kernel: [   12.478368] assign_interrupt_mode Found MSI capability
Feb 27 01:19:37 axxel kernel: [   12.478400] Allocate Port Service[pcie00]
Feb 27 01:19:37 axxel kernel: [   12.478425] Allocate Port Service[pcie02]
Feb 27 01:19:37 axxel kernel: [   12.478452] PCI: No IRQ known for interrupt pin C of device 0000:00:1c.2. Please try using pci=biosirq.
Feb 27 01:19:37 axxel kernel: [   12.478456] PCI: Setting latency timer of device 0000:00:1c.2 to 64
Feb 27 01:19:37 axxel kernel: [   12.478460] pcie_portdrv_probe->Dev[2664:8086] has invalid IRQ. Check vendor BIOS