x86: Support sub-leaves of CPUID eax = 7

CPUID leaf 7 may contain many sub-leaves which are chosen by register ecx.
Even though, currently, there is no CPU with more than one sub-leave we have
to set ecx to the valid value.