I am building pcs at work here using the p4pe mobos with p4 2.4 hyperthreading. In the manual it says its enabled using Linux kernel 2.4x. And the mobo supports the new serial ATA. Instead of using 40 pin you can use a 7 pin serial connection. Has anyone tried using these with Linux?