[export] Fix forward compatibility for exporting nr_devices
In #33492 I have added a new 32-bit field to store the nr_devices,
and renamed the old 16-bit field to nr_devices_short. However, that
change mistakenly stops populating the 16-bit field, which means
that when the export is read by old code, it will have a nr_devices == 0.