[coreboot-gerrit] Change in coreboot[master]: device: Fix incompatible-pointer-types build error

[Subrata Banik (Code Review)]

Subrata Banik has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/45122 )

Change subject: device: Fix incompatible-pointer-types build error
......................................................................

Patch Set 2:
> Patch Set 2: Code-Review+2
> > Patch Set 2:
> >
> > Angel, is this good now?
>
> LGTM

Thanks Angel