Not working means: zero output in the serial console. And the SD-card holder itself seems to work, as the provided SD card with the (SiFive) factory image works. It's just using a different SD card with Andreas' Tumbleweed image which gives no output.