Fix broken spawn on all cores function to make ump_bench tests work again.
Fix broken spawn on all cores function to make ump_bench tests work again.

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish