Workaround failing QA check in ti-sgx-ddk-um