Kernel sauce

Change-Id: Ic365ef211848622a17bcc7ac6809027ebba5002c