Comment 20 for bug 11671

Spoke too soon. The login sound played OK, but:

[4326970.125000] irq 11: nobody cared (try booting with the "irqpoll" option.
[4326970.125000] [<c0136e30>] __report_bad_irq+0x2a/0x8d
[4326970.125000] [<c013684c>] handle_IRQ_event+0x39/0x6d
[4326970.125000] [<c0136f4b>] note_interrupt+0x9e/0xf7
[4326970.125000] [<c013696f>] __do_IRQ+0xef/0xfc
[4326970.125000] [<c010526d>] do_IRQ+0x19/0x24
[4326970.125000] [<c0103822>] common_interrupt+0x1a/0x20
[4326970.125000] [<f8dfea39>] acpi_processor_idle+0x0/0x27f [processor]
[4326970.125000] [<f8dfeb38>] acpi_processor_idle+0xff/0x27f [processor]
[4326970.125000] [<c01010b2>] cpu_idle+0x3c/0x51
[4326970.125000] [<c03547ab>] start_kernel+0x171/0x1ad
[4326970.125000] [<c0354346>] unknown_bootoption+0x0/0x1da
[4326970.125000] handlers:
[4326970.125000] [<f8aa2487>] (snd_via82xx_interrupt+0x0/0xcf [snd_via82xx])
[4326970.125000] Disabling IRQ #11