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