Fixed derps, pulled `translate_isa` from kernel_old.