Re: [coreboot] [patch] 'dist' target for 'flashrom' Makefile