Re: [flashrom] [PATCH] CONFIG_DEFAULT setting