proved a few kernelc list examples

Andrei, I just pushed a new commit that revised all the spec files. You are reviewing the outdated diff.