Pre-emptive x86_64 architecture kernel