Log Message:
Don't use "*BSD" in ONLY_FOR_PLATFORM as it is both an
underapproximation (doesn't match some of the newer variants) and
possibly an overapproxmation (matches "GNUkFreeBSD", which most likely
won't work)... write it out instead. Also, this way if we ever get
canned infrastructure support for this list, grep will find this case.