Switched back to stock-based kernel now we're using enrc2b audio

Change-Id: I7c2de3aafde72ac960eeca33760955a9d4a68767