Use source kernel

Change-Id: Ia2c931286c6154c722f5c36a5fcee38b7cf13956