sdcard_spi: Use proper annotation classes.