Added a verbatim function which passes a string, verbatim, to the resulting C code
changed cpuresource generator to pull kernel names and labels correctly