efi/libstub: Retrieve FDT size when loaded from UEFI config table