When someone says that they overclock a processor at stock voltages, does that mean they set the vcore to stock in the bios or does it mean the vcore is at the stock voltage after compensating for vdroop while running under load in the operating system?