OK a few days ago apw pointed me at http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13.8/ which is the mainline kernel that the artful-proposed one I identified as bad is based on.
I ran 35 instances and rebooted them 30 times - all successful. So I think that says this kernel is good.
Will try another one later on.
OK a few days ago apw pointed me at http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v4.13.8/ which is the mainline kernel that the artful-proposed one I identified as bad is based on.
I ran 35 instances and rebooted them 30 times - all successful. So I think that says this kernel is good.
Will try another one later on.