> > Fixes: e0d1ec97853f ("i2c-s3c2410: Change IRQ to be plain integer.")
> 
>    Yes, this one looks more correct.
> 
>    Wolfram, what should we do now?

I'll fix it locally. Thanks, Stephen for the report and fix!