[coreboot] #183: SeaBIOS: test-gcc.sh executed multiple times, also during make clean