-Fix up some formatting in kernel makefile, and adding mailbox.h to the mark3.h header
-Also removing timer_precision unit test from regular tests, since there's something funky with it.
Authored by: m0slevin 2015-08-26
Parent: [r236]
Child: [r238]
