Fetch our kernel

Change-Id: I8b4d0aa8553e831e6ad968efce6bb305edd6d571