batch_task() in sched.h is now unused - remove it.
Signed-off-by: NIngo Molnar <mingo@elte.hu>