coreboot-kgpe-d16/util/supermicro
..
smcbiosinfo
Makefile.inc