Yes, that looks odd.
My Setup33 says 20MHz:
// Nucleo-F767ZI has a ~216MHZ CPU clock, this is divided by 4, 8, 16 etc
#define SPI_FREQUENCY 20000000 // 27MHz SPI clock
Be patient. I expect that there are some readers out there with the same Waveshare. And Bodmer himself might comment.
David.