We need a specific linux-image package to boot the Pi 5 at all, plus a newer version of firmware-brcm80211 to ensure the wlan0 interface shows up.
For the time being, let's keep both Pi 3/Pi 4 and Pi 5 recipes separate, making it easy to modify the latter freely. Later on, it will probably make sense to have a common section.