[POWERPC] force 64bit mode in fwnmi handlers to workaround firmware bugs