switch to Slim repo for Kernel

Change-Id: I974b12d5b8468429a6cc97ef20d68c639ca5a45a