Or, rather, add a new CIF-specific header, so tock_support.h is now the common code and each of the backends has its own. This means some of the conditional stuff can go away.
This should make it possible to use Tock from outside its own source directory.