This patch goes most of the way to adding SMP support to non-CFE Sibyte machines. Unfortunately I didn't quite get a chance to finish every last bit, but perhaps I will get back to it later or someone else will take a crack at it. Since it isn't finished I didn't include any of the changes to the Kconfig that are necessary to actually use the code.
