Preemptive kernel for X86_64 architecture