More Linux on L4

L4 handles scheduling of all threads---reduced role for Linux scheduler.

Library optimizations to take advantage of the Pentium small address optimization.

The solution of the dual-space problem requires virtual addresses to be translated by software to physical addresses for copyin/copyout operations.

14 engineer months