Lenovo's old kernel source updated to compile with newer toolchains and to boot on 4.2