tenderloin4g:  Use the newer 3.4 kernel

Change-Id: Id4cda122cf3471ed9ac69141ce662400eb2cf891