ba1227af3f
currently boot, but will serve as a good linting. make universe could now be altered to skip building all the other at91 kernels...