due to synchronize_irq() becoming a no-op when !CONFIG_SMP.
Attach a file by drag & drop or click to upload