Hi I just found out in the bios that the PCI bus is set to 32 bits, 64 bits is also available, should I set it on 64 bits ? the CPU is a I core I5 x64, ram DDR3. thank you for your advice