x86/sgx: Add helper to update SGX_LEPUBKEYHASHn MSRs