sgx_src: Update sgx_src with missing files and platform rev