Heinrich Schuchardt b680cc70dc sysreset: provide SBI based sysreset driver %!s(int64=2) %!d(string=hai) anos
..
asm b680cc70dc sysreset: provide SBI based sysreset driver hai 1 ano