Vonor got a reaction from
TonyMac32 in RockPi 4b 'board bring up'
Yeah I actually missed out that part. My bad.
However, that didn't work for me. After copying the files and rebooting I get this in dmesg.
$ dmesg | grep -i sdio
[ 2.424208] mmc0: new ultra high speed SDR104 SDIO card at address 0001
[ 7.256738] brcmfmac: brcmf_fw_alloc_request: using brcm/brcmfmac43455-sdio for chip BCM4345/9
[ 7.300520] brcmfmac mmc0:0001:1: Direct firmware load for brcm/brcmfmac43455-sdio.txt failed with error -2
[ 8.304313] brcmfmac: brcmf_sdio_htclk: HT Avail timeout (1000000): clkctl 0x50