Merge "SGX-BIN: Update SGX driver (1.8@840215) w/SGX kernel modules" into ics-mr1