Don't forget to "sudo dpkg-reconfigure linux-image-$(uname -r)" after fiddling with update-alternatives.
Don't forget to "sudo dpkg-reconfigure linux-image-$(uname -r)" after alternatives.
fiddling with update-