https://bugzilla.kernel.org/show_bug.cgi?id=193651
--- Comment #16 from fin4478@hotmail.com --- (In reply to Milo from comment #15)
I tried the above but notice that it fails when trying to build headers.
You do not need kernel headers unless you are using some dkms drivers. Currently there is a temperature bug in wip kernel. 4.11-rc3 kernel from kernel.org works.
Some kernel version headers build failed because missing BUG-REPORTS file. Create the file into the linux directory.