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*