I have compiled yet another Ubuntu/Debian kernel for 64 bit systems. This time kernel 4.12.0-12-exton, equivalent to Kernel.org’s latest stable kernel 4.12.8 released 170816.
Install kernel 4.12.0-12-exton in Ubuntu/Debian based distributions
My self-compiled Ubuntu kernels can be used in all types of modern Ubuntu systems, including Mint. They can even be used in Debian Jessie (Debian 8) and Debian Stretch (Debian 9).