I just bought Raspberry Pi 3 model B from distributor in US. I noticed it is made in China (PRC). It has some differences compared to UK version. Some connectors colors are different. Is there any performance difference between made in UK and China versions?