I hit this exact error and resolved the issue by using "raspi-config" to enable the SPI interface.

The exact steps:

1. Run "sudo raspi-config"
2. Select "Interface Options"
3. Select "SPI"
4. It will ask "Would you like the SPI interface to be enabled"?
5. Select "Yes", and "Ok"
6. Once enabled you can exit the tool by using to select "Finished" then press

Once the SPI interface is enabled you should no longer receive the SPI errors from board.py

Note: No overlay or changes in config.txt should be required.