HP Tenderloin device, kernel, and vendor