add tenderloin proprietary and kernel sources