Fixed the graphene-sgx build as per Ians email.

build-driver

@@ -10,5 +10,6 @@ cd ..
 rm -rf graphene-sgx-driver
 git clone https://github.com/oscarlab/graphene-sgx-driver.git
 cd graphene-sgx-driver
+git checkout 30d4b940
 ISGX_DRIVER_PATH=../linux-sgx-driver ISGX_DRIVER_VERSION=2.5 make
 cp -av isgx_version.h ../graphene-docker/

graphene-docker/Dockerfile

@@ -9,6 +9,8 @@ WORKDIR graphene
 RUN git checkout 58e6087
 RUN git submodule init
 RUN git submodule update
+RUN cd Pal/src/host/Linux-SGX/sgx-driver && git checkout 30d4b940
+WORKDIR /root/graphene 
 COPY isgx_version.h Pal/src/host/Linux-SGX/sgx-driver/
 RUN mkdir Pal/src/host/Linux-SGX/sgx-driver/linux-sgx-driver
 COPY sgx_user.h Pal/src/host/Linux-SGX/sgx-driver/linux-sgx-driver/