x86: fix setup.c printk format warning