Comment # 7 on bug 1128546 from Guillaume GARDET

(In reply to Guillaume GARDET from comment #3)
> FYI, I can reproduce only on RPi3 B+ version, not the RPi3 B version.

I trigger it on RPi3 B too.

(In reply to Oliver Neukum from comment #4)
> This looks like an interrupt routing issue. Please provide full dmesg and
> "cat /proc/interrupts"

I attached the requested logs using the RPi3 B after hitting this bug.
I will upload RPi3 B+ logs later.