I believe that the kernel should only be upgraded to version 4 after we hit 3.142