p880: track custom device and kernel tree