[tip: x86/sgx] x86/sgx: Mark PCMD page as dirty when modifying contents