Try Hardslog's kernel

Change-Id: I9ae49bb60b6d1bcf81cadf00183d7523cee0f731