This redirects PRINT() to printf() and not printk() and was causing stack overflows on some platforms. Fixes: #8033 Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>