[PATCH]x86, reboot: Fix a warning message triggered bystop_other_cpus()

From: Feng Tang
Date: Mon May 21 2012 - 22:55:52 EST