convert some more kernel examples to CSVFile