The text 46180df34699, as Debian 7 (Wheezy) shipped it.
register a SPI driver
spi_register_driver(9) on Linux now