2017-01-13 21:00 GMT+01:00 Clemens Ladisch <clemens@ladisch.de>:
>
> John Murphy wrote:
> > Cinnamon crashes with 4.9 and 4.9.2 kernels
>
> Is that in any way related to the keyboard?  Why are you trying to
> update the kernel?

Because it's needed for MIDI over BLE (Bluetooth Low Energy) support, which is required for the Seaboard to work.