I have upgraded the kernels on Fedora, Centos7, Scientific7, Debian, Mint, and Ubuntu to the first stable (not a release candidate) 4.0 kernel.  At present this doesn’t confer a lot of benefits but once the user land tools are in place it will allow kernel upgrades without the need for a reboot.