The text 251da4857ab3, as Debian 7 (Wheezy) shipped it.
Allocate a new SPI device
spi_alloc_device(9) on Linux now
