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

[Olaf Hering]

 On Fri, Jun 09, Paul Mackeras wrote:

> Olaf Hering writes:
> 
> > The reason is that system_reset_fwnmi is called in 32bit mode. Forcing
> > 64bit mode fixes the corrupt NIP for me. JS20 and p690 are affected,
> > seems to work on p550 and JS21.
> 
> What was the LTC bugzilla number for this again?

LTC22581, the last comments confirm that firmware leaves the cpu in
32bit mode.