Re: [coreboot] Request for comments: v3 config script