tenderloin: Change in kernel dependency source

Change-Id: If326efa9cdb927255ff6eef7d41341c7286fedc1