docs/specs/tpm: ACPI boot now supported for TPM/ARM