added simple script to dump kernel info from spacewalk server