PPC: Implement SMP primitives using gcc built-ins