Make the MCE counters work on 32bit and add poll count in
arch_irq_stat_cpu.
Signed-off-by: NHidetoshi Seto <seto.hidetoshi@jp.fujitsu.com>
Signed-off-by: NH. Peter Anvin <hpa@zytor.com>