tenderloin: User newer 3.4 kernel

Change-Id: I48cff82d3e164f48a95e47d45edd8724f01ef8ea