HP's glossy for the Envy Model 13-aq0045cl states "with Intel Turbo Boost Technology for up to 4.6GHz", but all diagnostic utility programs and benching I've done suggest this machine doesn't support ITBT. The Insyde F.04 BIOS has no option to turn ITBT on or off.
I am not going to get in a discussion between you and HP. If the processor passed the test, it is not an Intel problem. If you never experience turbo boost, then either it is off or not supported in the HP bios, or your workload does not call for boost performance.
Thank you for posting on the Intel ® communities.
I would like to confirm that in fact, the processor specified supports Intel ® Turbo Boost 2.0 and yes, the max frequency it reaches is 4.60 GHz; nevertheless, in order to activate or deactivate the technology you need to have the option in the BIOS.
Keep in mind that Intel ® Turbo Boost technology increases the frequency depending on the need of the application or process being run at the time so it will not be running at 4.60GHz all the time.
I hope this helps.
Intel Customer Support Technician
Under Contract to Intel Corporation