Re: [flashrom] [PATCH] Clean up CONFIG_FOO vs. FOO_SUPPORT mess