[PATCH 26/32] docs: formatdomain-devices: Split out <tpm>