Hi, are there any good (binary) alternative kernels usable with the recent versions of Linux Mint? I have Linux Mint 17.1 on an oldish (~2007) laptop, and the stock low-latency kernel is not adequate for audio and MIDI work on this machine even with LXDE. Artem