coreboot-kgpe-d16/src/cpu/amd/dualcore/Makefile.inc