It seems that `sof-firmware` has since been updated and the `extraModprobeConfig` is no longer necessary! Microphone input also now seems to work nicely.