bios offers two settings for the way dual cpu works. it says virtual processor. but is that for merging two into one ? what setting gives better performance and when ?