Hi! Are Pentium 4 processors supported by a 2.2.20 kernel out-of-the-box? If not, where can I get the right patches? Thanks a lot. Greetings, Holger