Comment 42 for bug 1700657

@bjorn I have come to the same conclusion. THere's something about the kernel build process that yields a kernel that won't work due to some setting in the BIOS. Yet kernels on the install media and from apt-get dist-upgrade do work fine.

I tried turning on and off secure boot, etc., with no luck.

I don't want to toast my windows install, so some of the bios settings I didn't want to touch. The funny thing is I will probably not use the windows install so much, but it's the only real windows on hardware I have.

Linux does look outstanding on the 720, except for the trackpad issue. I have several linux boxes here that I use and am into docker and AWS and other services that use it.

Going back to use windows 10 after not using windows for several years was just terrible. I remember why I never liked it much, except when it was all there was.