Waldemar Brodkorb 3cc1c7ffe3 riscv: use upstream kernel %!s(int64=7) %!d(string=hai) anos
..
qemu-riscv32 3cc1c7ffe3 riscv: use upstream kernel %!s(int64=7) %!d(string=hai) anos