That sounds right ... i changed the power supply to another 400w , and got it to boot reading 16x lanes - benchmarked it to death , and got the proper speeds. rebooted ... 2x.
turned off computer, restarted and 16x again. swapped to the other 400w power supply, and couldnt get it to read 16x...