maybe? push kernel tag to a generic repo?

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>