KernelTextExtract added

KernelTextExtract: Extract high level kernel encoding. Deletes low level
(assembler) kernel encoding.