Has anyone tried running Debian on a dual-processor system? I'm contemplating running it on an Intel DK440LX motherboard.