coreboot-kgpe-d16/spd/lp4x/platforms_manifest.generate...