sudo apt-get update
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13-rc2/linux-headers-4.13.0-041300rc2_4.13.0-041300rc2.201707232231_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13-rc2/linux-headers-4.13.0-041300rc2-generic_4.13.0-041300rc2.201707232231_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13-rc2/linux-headers-4.13.0-041300rc2-lowlatency_4.13.0-041300rc2.201707232231_amd64.deb
sudo dpkg -i linux-headers-4.13.0-041300rc2_4.13.0-041300rc2.201707232231_all.deb linux-headers-4.13.0-041300rc2-generic_4.13.0-041300rc2.201707232231_amd64.deb linux-headers-4.13.0-041300rc2-lowlatency_4.13.0-041300rc2.201707232231_amd64.deb
sudo reboot
samson@samson-MacBookPro:~$ sudo efibootmgr
[sudo] password for samson:
BootCurrent: 0000