x86: fix setup printk format warning