[coreboot] crossgcc: `make clean` fails for SeaBIOS because IASL definition is not passed