Use SlimRoms for kernel

Change-Id: Ifecb4cca063ff2dbb70ac09738d7e2074ca67e7f