SCHED_MC dropped from ARM configs?

[John Stultz]

Hey Amit,
	In updating our tree to 3.1, I noticed the SCHED_MC config option
dropped out of the savedefconfig and it doesn't seem to be found in the
arm Kconfig.

Is that expected? Or are there out of tree patches that provide the
SCHED_MC option for 3.1?

thanks
-john