kPrintf can now handle printing integers and strings