Re: [coreboot] device_t vs. struct device*