Set pinmuxing for spidev

- We had spidev enabled for the 40-pin header, but didn't actually
set up any muxing -- so whatever you try to do never makes it to the
pins. This corrects that oversight.

Change-Id: I8fcee61017c7c2e5e5e234018858778d3bbbc2c6