[Pull Request][tilt-master] Adding support for SGX platform device, to work properly with the external module