I think I have this issue on ASUS Sabertooth Z77 Edit: with i5 3570k. Set turbo multi to 45 in BIOS but won't go above 42 multi in windows, as a result I only get up to 4.2GHz. Will be monitoring this thread hope there's a quick fix out soon.