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