bsps/arm: Fix printk args to match format