Re: Kernel for SMP VIA C3 machines