Something the tweet doesn't mention is that the leak may have come from Intel: https://github.com/tongzx/nt5src/blob/daad8a087a4e75422ec96b...