coreboot-kgpe-d16/src/include/cpu/amd/gx2def.h