modified:   Kernel/Kernel.scons