Just go into your BIOS and adjust the voltage manually.
Probably to extend battery life. If he can get a stable undervolt going, why not?
Credit Card Application | How To Stop Your Credit Bureau From Selling Your Address