can i assume now the "official" firmware (with dist-upgrade) is 3.18.8 or should i look elsewhere?
To get the leading edge 3.18.8 "firmware" and kernel you'll need to use rpi-update, the stock kernel with apt-get hasn't got past 3.18.7 yet.
Microprocessor, Raspberry Pi & Arduino Hacker
Mainframe database troubleshooter
Since 2012: 1B*5, 2B*2, B+, A+, Zero*2, 3B*3
Please post ALL technical questions on the forum. Do not send private messages.