cmd: bootefi: Fix fdt_size variable type in efi_carve_out_dt_rsv()