[$] Shrinking the scheduler

The ups and downs of patching the kernel to wedge Linux into tiny systems has beendebated numerous times over the years, most recently in the context ofNicolas Pitre's alternative TTY layerpatches posted in April. Pitre is driving the debate again, this time by trying to shrink the kernel's CPU scheduler.In the process, he has exposed a couple of areas of fundamentaldisagreement on the value of this kind of work.