add kernel repo for inline kernel building