Shave a few bytes off size of jsiDumpState using printf
trying to save more flash on devices with very little