Like other platforms, count the number of IPI function call interrupts
and show it in /proc/interrupts.
Signed-off-by: Helge Deller <deller@gmx.de>