Motley kernel

Change-Id: I05bda91a4cc05e334fc8a780e08899dda0207938