Does anyone know for sure the 2000MHz rumor about the RAM is confirmed? Is it really bad to run it over 2k? Because with the BIOS from the first post, I can get to 2150 no issue (due to the slack timings apparently).