ABI: Transmit both TSC value and TSC offset in the UTCB.
API: Define capability permission bit for portal IPC.

Also ensure root capabilities have only defined permissions set.
VMX: Allow the user to set the instruction length during event injection.
API: Added pt_ctrl hypercall.

See the change bars in the interface specification for related API changes.