@Stefan, thank you. I can also confirm that linux-image-extra was not installed (I used Ubuntu Software Updater to do original upgrade) and running apt dist-upgrade solved the issue.
@Stefan, thank you. I can also confirm that linux-image-extra was not installed (I used Ubuntu Software Updater to do original upgrade) and running apt dist-upgrade solved the issue.