SPI SD card on Nucleo-F767zi unable to compile

Hello,

I am trying to get an SD card working on NuttX just over SPI. Currently, I am on commit 85b0fae, with the profile `nucleo-144:f767zi-nsh`. I was following the [Using SD card over SPI NuttX](https://www.youtube.com/watch?v=0CX-d9BFLrQ), however there are some changes to the menuconfig. I enabled as much as I could to simulate this step, i.e., setting SPI index to 1, enabling the SPI drivers, Device Drivers, disabling MMC, detect pins and write protect. However, when it tries to build I get issues with the `SDIO_MINOR` not being found,


Steps to reproduce:
```
./tools/configure.sh -l nucleo-144:f767-nsh
make menuconfig # change settings as seen in attached "config.txt"
make
```

[config.txt](https://github.com/apache/incubator-nuttx/files/6541807/config.txt)

Is there something obvious I am missing?

Cheers,