The Spacemit Version of OpenSBI is outdated and disabled printf and consumes the wrong dts with wrong isa string, causing some debugging features that needs printf
does not work, and zicboz can not be activated.
This file will tell you how to replace OpenSBI to mainline (v1.4+) on Spacemit K1, and it also compatible with factory sdk kernel.
You have flashed Bianbu or Armbian for BPI-F3 and flashed to SD Card.