Bug fixed! I apt upgraded to linux-image-4.18.0-15-generic 4.18.0-15.16 as usual, and my system boots happily again.
Thank you ~smb for the quick followup.
Bug fixed! I apt upgraded to linux-image- 4.18.0- 15-generic 4.18.0-15.16 as usual, and my system boots happily again.
Thank you ~smb for the quick followup.