Concurrent Pascal like kernel encoding added

KERNEL.TXT: Concurrent Pascal like kernel encoding