MFC r267651 (by attilio):Add the possibility to specify ecx when performing cpuid calls.MFC r267673:Restore the ABI of the cpuctl(4) ioctl request CPUCTL_CPUID.MFC r267814:Make cpuctl_do_cpuid() and cpuctl_do_cpuid_count() return void.