Respeaker 2 mic or Respeaker 4 mic

Does anyone have any information on whether the Seeed studio Respeaker hats for Raspberry Pi are compatible with Volumio? I’ve tried to build the kernel for the 2-mic hat and it fails building the kernel (actually it fails when running apt update / apt upgrade, but I was able to work past that by removing the ralink firmware.).

My goal is to set up a smart speaker that I can trigger with a button (don’t want it always listening) and I’d like to send the output to a Dayton 2x15 amp driving two speakers

Just to add another variable into the mix, I have both the 2-mic (has its own headphone out) as well as the 4-mic version (no audio out, but I have a UGreen USB Sound card (