[coreboot-gerrit] Change in coreboot[master]: driver/option_table: add option table interface

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/25397 )

Change subject: driver/option_table: add option table interface
......................................................................

Patch Set 10:

Build Unstable

https://qa.coreboot.org/job/coreboot-gerrit/69688/ : UNSTABLE

https://qa.coreboot.org/job/coreboot-checkpatch/23994/ : SUCCESS