Input: Tone down the severity of a printk() in i386/ia64 arch code