review.coreboot.org / coreboot / b790fe944d7533b65b37885e0aae43d9826e2086 / src / mainboard / intel / littleplains / config_seabios