dlx kernel

Change-Id: I49a1eac2f4a089baf175edfa4f4a0f7de671c5ae