Maybe with the new kernel we can actually build with 4.9.0