I assume this is not a kernel bug but a BIOS problem, but it would be
nice if a kernel workaround was possible. Does anybody have an
idea what I could try to reenable the interrupts?
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to firstname.lastname@example.org
Please read the FAQ at http://www.tux.org/lkml/