Working SMP kernel (2.4.20) on RS/6000 F50