Add name field for device

The constant field "name" in chip_operations is common to multiple
different devices within a chip and cannot reflect the actual device
as found on the platform.

The intention is that a driver sets dev->name as part of the device
enumeration sequence with the detected hardware type and revision.
The field is for debug print use only.

Change-Id: Ib7bf90ba3c618ad0cb715d80d6a937ceaae0adcf
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: http://review.coreboot.org/1634
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>

src/include/device/device.h

@@ -101,6 +101,7 @@ struct device {
 	struct device_operations *ops;
 #ifndef __PRE_RAM__
 	const struct chip_operations *chip_ops;
+	const char *name;
 #endif
 	ROMSTAGE_CONST void *chip_info;
 };