calling the functions they point to. do real console initialization. always include ecoff code (it's the "native" format, for now). simplify kernel argument gathering.