Hi there,
It looks like it could be something between the system and the operating system. Here we cannot say anything 'so far' whether it is coming from the processor or not. It could be that the operating system is not correctly interpreting the information of the processor from the motherboard.
In general processors have nothing to do with the operating system, the only thing that matters about OS and processors is whether it is 32bit or 64bit OS. If the processor works fine with other version of 64bit operating system then it's nothing wrong with the processor.
At this stage I would suggest you to contact Gigabyte support and report the problem to them. They may be able to help you with that. The processor seems fine to me if you can see the 4 cores on other operating system. It could be a bios issue or could be some settings in the bios that needs to be changed or something like that. Since I do not have an available gigabyte motherboard I may not be able to confirm that. Best thing is to contact Gigabyet or post on their forum: http://forum.giga-byte.co.uk/
Hope this will be useful.
Cheers
