Add FILE_LICENCE declarations to almost all files that make up the various standard builds of gPXE.
We now have two implementations for the timer API: one using the time-of-day counter at 40:70 and one using RDTSC. Both make use of timer2_udelay().