Waldemar Brodkorb bc6956f08c riscv64: use upstream Linux kernel %!s(int64=4) %!d(string=hai) anos
..
qemu-riscv32 bc6956f08c riscv64: use upstream Linux kernel %!s(int64=4) %!d(string=hai) anos