Kernel for SMP VIA C3 machines