add motley kernel

Change-Id: I5ffea0b67a0576e01a39077ad5eee86bc6c01938