review.coreboot.org / coreboot / f9decbb0c720662d8e71fe221aef55b7ecf76196 / src / mainboard / hp / abm / board_info.txt