Use a Performance Kernel

Change-Id: I51c3937c264d469432fdc67961ceb9595809feeb