(In reply to Takashi Iwai from comment #8) Thanks for explaining as the syslog messages actually weren't helpful to understand why the firmware could not be loaded. The filenames are still the same as it seems.