Feedback post on SGX drivers