I get the same problem. Also using Asus AT5IONT-I May 4 16:31:11 mail kernel: irq 17: nobody cared (try booting with the "irqpoll" option) May 4 16:31:11 mail kernel: [<ffffffff81745cae>] ? start_kernel+0x3fa/0x405 May 4 16:31:11 mail kernel: [<ffffffff8174532b>] ? x86_64_start_reservation...