Обнаружил, что ядро в Debian Stable - 3.16, и оно получает долгосрочную поддержку от Canonical Kernel Team (https://lists.debian.org/debian-kernel/2014/11/msg00154.html). Я посмотрел на исходники ядра в Debian в раздел patches - вроде, там ничего странного нет. Это ядро действительно можно считать стабильным и соответствующим политике Debian, даже хотя оно от Убунтовцев?