/spl mu/-kernels must and can be small

For general acceptance, /spl mu/-kernels must be fast and not burden applications. For fulfilling these conditions, cache architectures require /spl mu/-kernels to be small. The L4 /spl mu/-kernel shows that smallness can be achieved.