Suffering from this as well, making kernel upgrades on serveral machines quite hard (need to boot with selinux=0). I can reproduce the failure with the steps above on 4.15.18-38, while Debian buster/sid with 4.19.28-2 doesn't show the problem.
Suffering from this as well, making kernel upgrades on serveral machines quite hard (need to boot with selinux=0).
I can reproduce the failure with the steps above on 4.15.18-38, while Debian buster/sid with 4.19.28-2 doesn't show the problem.