64-bit x86 uses the IPI callbacks even on UP - so provide them
generally.
Signed-off-by: NIngo Molnar <mingo@elte.hu>