SMP ia32 support with Pistachio