@swetland @dos Sure, it was an absolute PITA whittling it down. IIRCC a good chunk of it was just drivers for every single damn SDR that exists.
Fun Fact: you cannot simply build rpi's kernel defconfig statically because the end result is so big the kernel will panic. Ask me how I know this. Also, I'm curious, the rpi bootloader only supports fat32, so what did you wind up doing for a RO type experience? I usually use an initramfs linked into the kernel binary.