uid=1001(maxx) gid=1001(maxx) groups=1001(maxx)
cvid=1 vid=0 mvs=2  ->  cvid-(1<<mvs) = -3
stored in uint32_t val     = 0xfffffffd
(val > 0) as evaluated     = TRUE   <-- underflow slips through
WRMSR(0xc0010041) value    = 0x000000fffffffd0a
  VID field (bits 8-12)    = 0x1d
  bits 13-31 (reserved)    = 0x7ffff  <-- garbage written
rc=0