printf("manufacturer %s\n", ao_manufacturer);
printf("product %s\n", ao_product);
// printf("serial-number %u\n", ao_romconfig.serial_number);
+#if HAS_LOG
+ printf("log-format %u\n", ao_log_format);
+#endif
printf("software-version %s\n", ao_version);
}