Re: [coreboot] final fix for distro cflags