Implement support for reading SD cards via SPI. Add a syscall to write to the character LEDs