include: fix kernel download failure with git & local trees