After installing kernel 4.16.0-041600rc5-generic it worked.
I went to http://kernel.ubuntu.com/~kernel-ppa/mainline/ and changed into the directory v4.16-rc5/. From there I downloaded
linux-headers-4.16.0-041600rc5_4.16.0-041600rc5.201803112130_all.deb
linux-headers-4.16.0-041600rc5-generic_4.16.0-041600rc5.201803112130_amd64.deb
linux-image-4.16.0-041600rc5-generic_4.16.0-041600rc5.201803112130_amd64.deb
and did
sudo dpkg -i linux-*