tpm_extendpcr: Support platforms not having syslog()