printk and vfprintf should work now
bug fix for vfprintf