tree aa8b375900a20bd721ceb113fe335110e47684de
parent 0b7813fe97121eb7cb9c0b8ac59e604e9f613679
author Angel Pons <th3fanbus@gmail.com> 1604353791 +0100
committer Patrick Georgi <pgeorgi@google.com> 1618995990 +0000

mainboard: Use read_int_option()

Change-Id: I9273b90b6a21b8f52fa42d9ff03a9b56eec9fcbf
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/47137
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>