[coreboot] device_t vs. struct device*

[Myles Watson]

We seem to have a mix of usage here.  Is there a reason we shouldn't
just use one?  Which one is preferred?
> From src/include/device/device.h:

typedef struct device * device_t;

Thanks,
Myles