K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2011-09-29T14:19:34.911547Z
K 7
svn:log
V 240
Handle the race in cpu_idle() when due to the critical section CPU could get
into sleep after receiving interrupt, delaying interrupt thread execution
indefinitely until the next interrupt arrive.

Reviewed by:	nwhitehorn
MFC after:	3 days

END