For those interested: I recently comitted some changes to the av7110 driver that are intended to solve the "debi irq oops" problems on SMP / hype-threading systems. It works for me. Please test. Johannes