[RFC 00/14] efi_loader: improve device-tree loading