Hi, Do we still need that 4.16.0-rc3 kernel? Did anyone try to go with Ubuntu's Mainline PPA, e.g. http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16.5/ ?