review.coreboot.org / coreboot / 0b29a7b37c19200516dadc5c4bf0a1eb9d1290ec / src / drivers / net / Makefile.inc