Yeah, that's why I said "the BSDs". Not blaming you, just pointing it out. The whole top-level stuff is a mess, though. As for config.gcc, I see lots of cases where the inner case is a different key than the outer case - that's fine.