ppc/spapr: Improve FWNMI machine check delivery corner case comments