Am 14.03.2013 um 19:15 schrieb Davide Guerri <d.gue...@unidata.it>:

> Of course I can do some test but a kernel upgrade is not an option here :( 

disabling the in-kernel irqchip (default since 1.2.0) should also help, maybe 
this is an option.

Peter



Reply via email to