Kernel sauce

Change-Id: I3e28a32ec25a719420fe68abfb93f7c918ef80cd