tenderloin:  add in kernel headers

Change-Id: I98860be7b7d8a4a8e6f092e4ebcd9c7d7c1990e6