[coreboot] final fix for distro cflags