Hit this bug just yesterday.  I hope the problem and fix require no
explanation.  Patched kernel boots and runs just fine.
Signed-off-by: Brent Casavant <bcasavan@sgi.com>
Signed-off-by: David Mosberger <davidm@hpl.hp.com>