SGX-BIN: SGX Driver update for CONFIG_MODVERSIONS