hw/riscv/boot.c: use MachineState in riscv_load_kernel()