[coreboot-gerrit] Change in coreboot[master]: mainboard: Use `read_option_X` helpers for HWM settings