coreboot-kgpe-d16/src/soc/amd/picasso/config.c