device_printf does multiple calls to printf allowing other console messages to
be inserted between the device name, and the rest of the message. This change
uses sbuf to compose to two into a single buffer, and prints it all at once...
I could use PRINTF_BUFR_SIZE + smug instead of hard coding 128, suggestions?
previously:
Trying to mount root from ufs:/dev/ufs/rootfs [rw]... mmc0: Instruction Set Attributes 0 = <AES+PMULL,SHA1,SHA2,CRC32> ACMD42 failed, RESULT: 4 Instruction Set Attributes 1 = <> mmc0: Processor Features 0 = <AdvSIMD,Float,EL3 32,EL2 32,EL1 32,EL0 32> Card at relative address 43690 failed to set bus width
after change:
mmc0: ACMD42 failed, RESULT: 4 Trying to mount root from ufs:/dev/ufs/rootfs [rw]... Instruction Set Attributes 0 = <AES+PMULL,SHA1,SHA2,CRC32> mmc0: Card at relative address 43690 failed to set bus width Instruction Set Attributes 1 = <> Processor Features 0 = <AdvSIMD,Float,EL3 32,EL2 32,EL1 32,EL0 32>