K 10 svn:author V 6 marcel K 8 svn:date V 27 2013-11-03T22:57:59.899777Z K 7 svn:log V 390 Make IPIs work on the Altix 450. We kluged support by hardcoding specifics of the SHub1 in ipi_send(). Improve the kluge a bit by saving the IPI register address of the SHub in the PCPU structure and initialize it when we create the PCPU. There we can ask the firmware about the SHub and handle the difference between SHub1 and SHub2. This makes SMP work. Sponsored by: HOB GmbH & Co. KG END