[coreboot-gerrit] Change in coreboot[master]: herobrine: get boardid from GPIO configuration

[Ravi Kumar Bokka (Code Review)]

Attention is currently required from: Ravi kumar, Paul Menzel.
Ravi Kumar Bokka has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/55950 )

Change subject: herobrine: get boardid from GPIO configuration
......................................................................

Patch Set 3:

(3 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/55950/comment/bdd9eeea_25b02312 
PS2, Line 7: sc7280
> Please use the board name in the prefix.

Done

https://review.coreboot.org/c/coreboot/+/55950/comment/6aaae4b3_30cc845b 
PS2, Line 9: boarid
> board

Done

https://review.coreboot.org/c/coreboot/+/55950/comment/03a899f8_ed1c956e 
PS2, Line 9: varients
> variants

Done