Waldemar Brodkorb 65b25cd0f2 riscv: fix kernel boot in qemu 6 jaren geleden
..
qemu-riscv64 65b25cd0f2 riscv: fix kernel boot in qemu 6 jaren geleden