Implemented builtin kernel

Change-Id: I6678e5c8bf7cc940eb42025252b9f2ab61f1163a