hw/riscv: set machine->fdt in spike_board_init()