hw/ppc: set machine->fdt in xilinx_load_device_tree()