[coreboot-gerrit] Change in coreboot[master]: util/ifdtool: Add support for Denverton platforms

[Angel Pons (Code Review)]

Attention is currently required from: Jeff Daly, Paul Menzel, Stefan Reinauer, Kyösti Mälkki.
Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/60737 )

Change subject: util/ifdtool: Add support for Denverton platforms
......................................................................

Patch Set 3: Code-Review+1

(3 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/60737/comment/4ed6f972_5d6290a9 
PS3, Line 9: pre
why not `coreboot.rom`?

File util/ifdtool/ifdtool.c:

https://review.coreboot.org/c/coreboot/+/60737/comment/6839ba36_422c9f9f 
PS3, Line 717: has_10gbe_A = (platform == PLATFORM_DNV);
             : 	has_10gbe_B = (platform == PLATFORM_DNV);
Is it necessary to use two equivalent variables?

https://review.coreboot.org/c/coreboot/+/60737/comment/e58e4029_72e1fd84 
PS3, Line 1188: 	switch (platform) {
Shouldn't `PLATFORM_DNV` be handled here too?