How Many Bits of Pi?

1. Put Folding@Home on my desktop.
2. It’s using too much power.
3. Can I put it on my Raspberry Pi 3B?
4. The software is 64-bit. The OS on there right now is 32-bit.
5. Specs show the 3B has a 64-bit processor.
6. /proc/cpuinfo shows it has a 32-bit processor.
7. Specs show it should have BCM2837
8. /proc/cpuinfo shows it has BCM2835
9. Magnifying glass shows BCM2837 stamped on the chip.

WTF?

It turns out all Raspberry Pi CPUs appear as 2835 in the kernel?!?!?

I decided to put BOINC on an old phone instead. I don’t feel like installing a new OS on the Pi. sigh