There isn't any specific need to use printf here, convert to use printk instead. Fixes #14997 Signed-off-by: Kumar Gala <kumar.gala@linaro.org>