efi_loader: use TPL_NOTIFY for network timer event

[u-boot] / common / board_r.c

diff --git a/common/board_r.c b/common/board_r.c
index 6349e86f71ae0f07b81e0991175843856a82daaf..89f2e16b71a39263442e37df5ef7bfde5b4a8dfd 100644 (file)
--- a/common/board_r.c
+++ b/common/board_r.c
@@ -23,7 +23,6 @@
 #include <fdtdec.h>
 #include <ide.h>
 #include <initcall.h>
-#include <init_helpers.h>
 #ifdef CONFIG_PS2KBD
 #include <keyboard.h>
 #endif
@@ -664,7 +663,7 @@ static int run_main_loop(void)
 
 /*
  * Over time we hope to remove these functions with code fragments and
- * stub funtcions, and instead call the relevant function directly.
+ * stub functions, and instead call the relevant function directly.
  *
  * We also hope to remove most of the driver-related init and do it if/when
  * the driver is later used.