As another data point, an rpi 3B+ 1.3 is only 38.40 BogoMIPS as reported by lscpu: pi@raspberrypi:~ $ lscpu Architecture: armv7l Byte Order:

As another data point, an rpi 3B+ 1.3 is only 38.40 BogoMIPS as reported by lscpu: pi@raspberrypi:~ $ lscpu Architecture: armv7l Byte Order: Little Endian CPU(s): 4 On-line CPU(s) list: 0-3 Thread(s) per core: 1 Core(s) per socket: 4 Socket(s): 1 Vendor ID: ARM Model: 4 Model name: Cortex-A53 Stepping: r0p4 CPU max MHz: 1400.0000 CPU min MHz: 600.0000 BogoMIPS: 38.40 Flags: half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32