Disabling only polling but not cmci is pointless setting.Instead of "mce=nopoll" which tend to be paired with cmci disablement,it rather make sense to have a "mce=ignore_ce" option that disableboth of polling and cmci at once. A patch for this new implementationwill follow this reverting patch.

OTOH, once booted, we can disable polling by setting check_intervalto 0, but there are no mention about the fact. Later Andi will postupdated documents that can respond this issue.