sgx driver: change directory, update patches