Intel Continues Prepping the Linux Kernel for X86S