Tools: DFG: Add peripheral names as list to device properties for availability mapping.
For the resulting device file, we only need to know if the peripheral exists on this devices, but not how it is different from others.