Added a change which occurred in r3208 of the multi_processor branch but was somehow not ported.
Authored by: bugman 2008-10-15
Parent: [r7710]
Child: [r7712]
