This also fixes up the IRQ for the PYBOARD4 USERSW although I was unable to test that functionality.
Attach a file by drag & drop or click to upload
