fix(x86_64): raw_cpu_id() for x86_64

[Koichi98]

Description

A case was identified where retrieving leaf 0x1f returned invalid values (eax, ebx, ecx, edx are all 0) even though max_leaf was 0x1f. This occurred on an Intel(R) Core(TM) i9-14900K running Linux kernel 6.5.0-44-generic kvm. Following guidance from Intel's Software Developer's Manual (Order Number: 253665-086US December 2024), I modified the implementation to use leaf 0x0b also in the cases where the upper 8 bits of ecx are invalid.

If sub-leaf index “N” returns an invalid domain type in ECX[15:08] (00H), then all sub-leaves with an
index greater than “N” shall also return an invalid domain type. A sub-leaf returning an invalid domain
always returns 0 in EAX and EBX.

Related links

Intel's Software Developer's Manual

How was this PR tested?

On the following environment.

Intel(R) Core(TM) i9-14900K (kvm)
Intel(R) Core(TM) i7-10750H (kvm)
12th Gen Intel(R) Core(TM) i7-12700

Notes for reviewers