[PATCH v6 08/11] trace: remove control-vcpu.h