so that's 1.5 vcore in bios for the 3.737 Ghz right?