which kernel.rpm for RS/6000 B50 ?