Even as a dev with 3 environment I've not had to tinker my kernel since I left gentoo something like 15 years ago, Ubuntu takes care of it..