ipmi: Always fetch the guid through ipmi_get_device_id()

This is in preparation for making ipmi_get_device_id() dynamically
return the guid and device id.

Signed-off-by: Corey Minyard <cminyard@mvista.com>
1 file changed