Simple kernel for x86_64-based platforms.