Dell Inspirion 7591 on-board microphone not found 18.04 LTS

I managed to get the internal microphone on a Dell Inspiron 7591 working with the following steps:

1. Create /etc/modprobe.d/sof-blacklists.conf with the following:

blacklist snd-hda-intel
blacklist snd-soc-skl

2. Create the ~/.config/pulse/default.pa with the following:

.include /etc/pulse/default.pa
load-module module-alsa-source device=hw:0,6 source_name=mic1
update-source-proplist mic1 device.description="Internal Microphone 48kHz"
load-module module-alsa-source device=hw:0,7 source_name=mic2
update-source-proplist mic2 device.description="Internal Microphone 16kHz"
set-default-source mic1

3. Find and build (if needed) and install the firmware-sof-signed package.

4. Install the appropriate ALSA UCM files:

$ git clone https://github.com/thesofproject/alsa-ucm-conf.git
$ cd alsa-ucm-conf
$ git checkout -b inspiron f083700
$ sudo cp -r ucm/sof-skl_hda_card /usr/share/alsa/ucm/

5. Reboot, login, the microphone should work.