Fix printf colorizing

I think you need another set of functions that have two arguments e.g. `fprintf`, `fprintfn`, `bprintf`, `kprintf`, `ksprintf`. See http://msdn.microsoft.com/en-us/library/ee370560.aspx.