Build kernel with 4.8

Why? Because we can