[MaD]

El driver UltraDMA se llama xdma_v32, busca y encontrarás.

Y lo del powerstrip al final acabé pasando de él (un coñazo), y no se qué hice del manualillo, aunque por suerte los de arcadecontrols se han currado algo parecido (en inglés).

Ahora la pagina parece que no carga, pero en el foro de arcadecontrols en la seccion de video viene.