Re: [PATCH v4 02/10] trace-events: remove the remaining vcpu trace events