[20:18] <irgendwer4711> , I have a problem on one of my 18.04 machines. softdep for crc32c is not working. (https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1778265)