Modify gPXE core and drivers to work with the new timer subsystem

Signed-off-by: Alexey Zaytsev <alexey.zaytsev@gmail.com>

src/hci/shell_banner.c

@@ -18,8 +18,8 @@
 
 #include <stdio.h>
 #include <console.h>
-#include <latch.h>
 #include <gpxe/features.h>
+#include <gpxe/timer.h>
 #include <gpxe/shell_banner.h>
 
 /** @file