[PATCH 02/14] x86/sgx: Add /sys/kernel/debug/x86/sgx_total_mem