The text 725120805431, as Debian 7 (Wheezy) shipped it.
unregister SPI master controller
spi_unregister_master(9) on Linux now