Hi Florian!

> Is that a drive-by fix or do you really have the IRQ pipelining
> disabled. If disabled: We should discuss this internally!

I build the kernel in several config variants from the same source, and only 
one of them has CONFIG_IRQ_PIPELINE enabled.

Roman