tenderloin: use kernel headers

Change-Id: I8b7293fece453d382562a8bbf0c0f3217a0553cd