coreboot-kgpe-d16/util/autoport/ec_none.go