Linux kernel for Lenovo Thinkpad Edge 15 with Intel Core i5 2 core & hyperthreading