The text 95b39175e011, as Debian 7 (Wheezy) shipped it.
register SPI devices for a given board
spi_register_board_info(9) on Linux now