[LinuxBIOS] Chipset options for dual core Pentium D