proc_switch(): rename from proc_schedule(). Split out the real cooperative scheduler.