Fast Binary Translator for the Kernel