WIP: fpga-io device
WIP: x86 dtb