Document kernel origin