[U-Boot] [PATCH v8 20/30] efi: Tidy up device-tree-size calculation in copy_fdt()