Download Kernel v8 with CONFIG_HZ=100

@minimec

I use the linaro toolchain to build the kernel(linaro 4.9.4 with Cortex A15 optimizations) and the Makefiles contain some specific linaro optimizations flags, that could have caused the errors you have encountered. Since v8 of the kernel you have to compile it with the 'make CONFIG_NO_ERROR_ON_MISMATCH=y' option or else you'll get an error at the end of compiling.