Hi all, I’m migrating a project from a Raspberry Pi 4b over to the uConsole. I’ve broken out the GPIO ribbon cable and hooked up an NFC reader through SPI. I’ve enabled the SPI peripheral in the raspi-config, but when trying to initialize the SPI object in python, I get an OSError: /dev/spidev0.0 does not exist. Is there something specific about the uConsole setup that I should know about with regards to the SPI peripheral?