We are seeing this test fail on SKX H0, because the hardware allows writes to every bit of IA32_FLUSH_CMD without raising a fault, in contravention of the specification. Are others seeing this failure as well, or is there something special about our chips? We have microcode patch level 0x2007006. Thanks!