Waldemar Brodkorb 65b25cd0f2 riscv: fix kernel boot in qemu hace 6 años
..
qemu-riscv64 65b25cd0f2 riscv: fix kernel boot in qemu hace 6 años