Re: [flashrom] [PATCH 1/5] print_wiki.c: count pci devices and cleanup