Compile a standar linux kernel for gem5 with RISC-V

Despite the hints and prebuild binaries you can find in gem5 resources, for using your own linux build you need to use the vmlinux file and not the typical arch/riscv/boot/Image that it's used almost everywhere else, as in QEMU.