If SD card is present on (soft) reset then it's mounted on 1:/ and files can be openned using, eg, open('1:/test.txt', 'r'), or 'w' for writing.
This also fixes up the IRQ for the PYBOARD4 USERSW although I was unable to test that functionality.