Well nuts. The 32bit raspbian OS mis-identifies the CPU as ARMv7 instead of ARMv8 which is what the RP4 has. Which means that BOINC tells projects that it has the wrong CPU. And I can't find a 64 bit linux. Ubuntu hasn't released their OS for RP4 yet. No ETA either. I think I just bought an expensive paper weight.