Rename mct and ehci drivers files to match common naming.
Use 'cpuset_t' to represent the vcpus active in a virtual machine.