No, don't think so. But he can force you to call it "Carrot" in all marketing materials. Although you have to state it's a modification of "Linux" because of the GPL :)