SPI not working on Linux 4.1.11+ Oct 25 (after upgrade)

[cmik]

Hello not sure what happened, but I did an apt-get upgrade, and it broke my LED lights and Hyperion.

It appears there are not SPI devices.

Terminal

xbian@xbian ~ $ ll /dev/spi*
ls: cannot access /dev/spi*: No such file or directory
xbian@xbian ~ $ uname -a
Linux xbian 4.1.11+ #1 SMP PREEMPT Sun Oct 25 21:05:41 CET 2015 armv7l GNU/Linux
xbian@xbian ~ $ cd /lib/modules/4.1.11+/kernel/drivers/spi/
xbian@xbian /lib/modules/4.1.11+/kernel/drivers/spi $ ls
spi-bcm2708.ko spi-bitbang.ko spi-gpio.ko spi-pl022.ko spi-xcomm.ko
xbian@xbian /lib/modules/4.1.11+/kernel/drivers/spi $ sudo insmod spi-bcm2708.ko
insmod: ERROR: could not insert module spi-bcm2708.ko: No such device

I have played around with the /boot/config.txt and found something that worked.
Added the following line:
dtoverlay=spi-bcm2708

Is it expect that Xbian users change this /boot/config.txt to get SPI working? I do not remember required to do this when I originally set-up Hyperion.

[Nachteule]

This is because since kernel version 3.18 DT has been introduced https://www.raspberrypi.org/documentation/configuration/device-tree.md

Means that all special hardware/interfaces (LIRC, I2S Soundcards, ...) has to be enabled in /boot/config.txt