816c816
< success = doCpuid(xc->tcBase(), Rax, result);
---
> success = doCpuid(xc->tcBase(), bits(Rax, 31, 0), result);