pseries: fix kvmppc_set_fwnmi()