[PATCH 1/4] x86/sgx: Add sgx_nr_all_pages to the debugfs