Make all tests use printk instead of printf for OR1K targets