Use our own repository for the tenderloin kernel

Change-Id: Ibe18258d4512f22360dd3918de2a7ac30a831728
Signed-off-by: Simon Busch <morphis@gravedo.de>