Hi. The SDK 4.0 is not public, maybe you areusing an early prototype or something. In any case, you can mail me questions about such things. My e-mail address is in the about box of Intel AMT Commander.
Thanks,Ylian (Intel AMT Blog)
For more complete information about compiler optimizations, see our Optimization Notice.