x86: Fix a typo in a printk message