Comment 5 for bug 2033421

For some unknown reason, dkms removal did not work for me. However, deleting the directory /var/lib/dkms/intel-platform-vsec-dkms did the job for me. Although I'm not certain whether this has any negative effects, this method worked for me.