[PULL 03/10] microvm: add device tree support.