Comment # 57 on bug 1080485 from Martin Wilck

(In reply to Ronnie Bailey from comment #56)
> I upgraded to kernel-default-4-20 this morning. After reboot into the new
> kernel, and shut-down, the problem still exists.

Sorry to hear that. Your problem must be different than the other people's ones
then. Could you please try the debugging steps described in comment 40 and
comment 42?