Yes it looks good. When you say you used modprobe you used the command modprobe spidev, right? That is strange it seems is not loading the devices. Have you tried using SD card image instead. I’m using it and I do have access to dev/spidev. You can get it from here https://communities.intel.com/docs/DOC-23242
Regards,
JPMontero_Intel