ck2 patched kernel for x86 3.12.6