Use Faux Kernel

Change-Id: Ia2aa94edf7ebdbdee2d35eb361dd4bc2425e36d7