[PATCH] force 64bit mode in system_reset_fwnmi for broken POWER4 firmware

[Paul Mackerras]

Olaf Hering writes:

> According to some firmware guys, the OS is supposed to force 64bit mode
> on reset.

Who?  I'll get a platform architect to drop on them from a great
height. :)

Paul.