Dynamic Binary Translation for the Kernel.