[kbuild-all] Re: [PATCH v10 2/7] x86/sgx: Add infrastructure to identify SGX EPC pages