Which Linux kernel stable version should you use?