Add more explicit kernel package installation to make sure it's updated after install by a sources.list update and a dist-upgrade