[PATCH v2 48/71] bootstd: Support reading the device tree with EFI