Re: [coreboot] coreboot filter for skinflint