* ACPI ID alone is not sufficient, wrong or misleading
  * @quirk_data: data used to uniquely identify a machine, usually a list of
  * audio codecs whose presence if checked with ACPI
+ * @machine_check: pointer to quirk function. The functionality is similar to
+ * the use of @machine_quirk, except that the return value is a boolean: the intent
+ * is to skip a machine if the additional hardware/firmware verification invalidates
+ * the initial selection in the snd_soc_acpi_mach table.
  * @pdata: intended for platform data or machine specific-ops. This structure
  *  is not constant since this field may be updated at run-time
  * @sof_tplg_filename: Sound Open Firmware topology file name, if enabled
        const char *board;
        struct snd_soc_acpi_mach * (*machine_quirk)(void *arg);
        const void *quirk_data;
+       bool (*machine_check)(void *arg);
        void *pdata;
        struct snd_soc_acpi_mach_params mach_params;
        const char *sof_tplg_filename;