Are you saying that the kernel should consider the enclaves inconsistent at the time of the microcode update? Or, were you thinking that the microcode update process itself would make them inconsistent?
Are you saying that the kernel should consider the enclaves inconsistent at the time of the microcode update? Or, were you thinking that the microcode update process itself would make them inconsistent?