So I had to update the kernel. Henceforth a reboot was needed.