am 78383abf: am cbf583d7: am 77bd91f8: Merge change Ie3e80456 into eclair

Merge commit '78383abf76e7daf8c1968d2e9a29a1ba354edb2e'

* commit '78383abf76e7daf8c1968d2e9a29a1ba354edb2e':
  Turns out the SGX driver is correct and the bug was in this test.