[nova] Help with support to SGX