Clarify the synchronization packet definition for privilege mode change

[Muhammad-Saadi-Abbasi]

When the mret or sret instruction is executed and it changes the privilege mode then the trace encoder emits a synchronization packet. Currently, this behavior is documented only in the delta trace algorithm diagram. Can you update the Synchronization Packet definition (Sec 7.2) to explicitly include this scenario i.e. when privilege mode changes due to mret/sret instruction then the very first instruction after privilege mode should be reported by Sync packet?

[IainCRobertson]

This is a duplicate of issue #97, which is already being addressed for the next spec revision.