review.coreboot.org / coreboot / 9740bcb0cfb1271e062a4f8b7d182796c6c20356 / src / vendorcode / siemens / Makefile.inc