Switch hamachi to building its own kernel

Change-Id: If5adf8ec423b28bdad980a1f275fd285f2ce8ba6