Вариант sudo apt update -y && sudo apt upgrade -y не помогает. Что можно попробовать ещё? Может, его можно как-то перекомпилировать под ядро 4.15.3-1?