SETI@home Linux kernel

Has anyone come across a Linux kernel optomized for running SETI?