[PATCH v3 4/9] efi_loader: load device-tree specified in boot option