QEMU dynamic configuration based on Device Tree