mainboard: Use get_int_option() for HWM settings