use wedgess' kernel

Change-Id: I6c96db3cd5c4f0f666955bee454720f87daa2424