Implement ipi_send() for Altix. This is quick-n-dirty, but works.
We have SMP up and running. I haven't had a chance to test whether
ptc.g works properly (given that the SHub has a register for it),
but that's easily found out.