Sorry for the slow reply. Here is the update: 1. I am glad I didn't install the kernel using the link you gave because I noticed that it is for 64 bit CPU and this laptop is 32 bit (which is also the main reason I moved from 13.2 to Tumbleweed and not to Leap). 2. I added the repository in yast: http://download.opensuse.org/repositories/Kernel:/HEAD/standard/ 3. Now under kernel-default I have only version 4.9.8 (installed, an problem is still there with it) and separately there is kernel-default-base which has a 4.10.rc7 version. I am attaching 2 screenshots. Please let me know how to proceed. Thanks.