Internal microphone not detected on Dell G5 15 SE 5505

I have a Dell G5 15 SE 5505 and have the problem that the built-in “dual-array microphone” is not detected (e.g. list of audio input devices is empty in pavucontrol). I already reported this as a bug (which also contains all the details and log output), but I’m trying to find out if there’s anything I can do to get it working even though it’s not detected out of the box.

Please let me know if there’s any more information I can supply or anything I can try!