[coreboot-gerrit] Change in coreboot[master]: mainboard: Use read_int_option()

[Angel Pons (Code Review)]

Attention is currently required from:  Felix Singer, Nico Huber.
Hello build bot (Jenkins), Tristan Corrick, Alexander Couzens, Patrick Rudolph,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/47137

to look at the new patch set (#4).

Change subject: mainboard: Use read_int_option()
......................................................................

mainboard: Use read_int_option()

Change-Id: I9273b90b6a21b8f52fa42d9ff03a9b56eec9fcbf
Signed-off-by: Angel Pons 
---
M src/mainboard/dell/optiplex_9010/sch5545_ec.c
M src/mainboard/kontron/986lcd-m/mainboard.c
M src/mainboard/kontron/bsl6/romstage.c
M src/mainboard/kontron/bsl6/variants/boxer26/romstage.c
M src/mainboard/kontron/ktqm77/mainboard.c
M src/mainboard/lenovo/t430s/variants/t430s/romstage.c
M src/mainboard/lenovo/t440p/romstage.c
M src/mainboard/siemens/chili/romstage.c
M src/mainboard/siemens/chili/variants/chili/romstage.c
M src/mainboard/supermicro/x10slm-f/mainboard.c
10 files changed, 20 insertions(+), 26 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/37/47137/4