review.coreboot.org / coreboot / a50ced2eba20a007fa5b486c251c252ad09868cf / src / mainboard / intel / kblrvp / board_id.c