If your kernel is written in gas assembler, you can tell the tester
and timer that by setting the <pre>UCC and <pre>UCCFLAGS
appropriately.
For instance, to test the DDOT code given in Section A.1.3,
you would issue:
make ddottest dUCC=gcc dUCCFLAGS="-x assembler-with-cpp" urout=ddot.c