hexagon: fix printk format warning in setup.c