[PATCH v4 07/10] trace: remove control-vcpu.h