I did some more research and did manage to get the MEMS mic working.
Apparently the guide was updated after I did setup my RaspberryPi using the guide which Johnny789 did point out in a comment.
This page (Raspberry Pi Wiring & Test) was last updated on Nov ...
I've been tasked with updating a driver on a Raspberry Pi 4 running Raspbian. I'm told I need to apply this patch https://lkml.org/lkml/2019/4/1/1050 in order to get my USB modem to work.
You are in luck in the sense that that patch has already been applied. Here is the relevant source file in what is approximately the current Pi kernel source:
For such a small patch I wouldn't bother using a tool to apply it. Just add the lines starting with the + sign to option.c, not including the + sign itself. The first insertion will be at line 249, and another three lines should be inserted at line 1091 (or 1092 after you insert the first one).
Bigger patches must be saved into a file and applied using a ...
Possibly some previous aborted attempt is causing a problem, because this series of steps worked for me, although it took several hours on a 3B+.1 As root:
git clone --depth=1 https://github.com/raspberrypi/linux
make -j5 zImage
make -j5 modules
make -j5 dtbs
This actually did fail on the first attempt because ...