It seems the SPI1 (pins11,35,38,40/GPIO 19,20,21,17) have been assigned to GPIO on the latest pin out.
Apparently there are five alternatives for the use of the pins, see:http://elinux.org/RPi_BCM2835_GPIOs
Only two SPI devices seems quite constrained when I’