machdep.cpu_khz and machdep.bus_khz. Fix bug in machdep.console_device parameter.
Unused file include/trace.h deleted.