This patch should hopefully fix Nigel's bug.

Split out from sched-resched-opt.patch. Tested on i386 with acpi idle
and poll idle (previous iterations tested on various other architectures).

CCed Ian because I am amazed that arm26 ever managed to reschedule
out of the idle task without this... what am I missing?

Andrew please apply

Nick

-- 
SUSE Labs, Novell Inc.