Oh, yeah, the history of device_t is as old as coreboot v2. It came in ca. 2002 and was part of what made romcc work.