Super-fast kernel for x86-based platforms.