incomplete:Kernel.putc needs to be reviewed for spec completeness
