A couple of months ago Hidetoshi Seto from Fujitsu proposed
a patch to provide similar switching between interrupt mode
and polling mode for corrected platform events (CPE) as we
have for processor events (CMC) [with the obvious difference
that not all platforms support an interrupt for CPE].

I dusted it off and made a couple of very minor cleanups (which
Seto-san checked out last night on his test setup and confirmed
still passes).
Signed-off-by: Tony Luck <tony.luck@intel.com>
Signed-off-by: David Mosberger <davidm@hpl.hp.com>