I took a quick look at rpi-5.4.y git tree, but I couldn't find relevant changes about vc04_service audio wrt RPi4. Something else to check?