utils: Fix ms timer accuracy

Additionally add BPMP delay timers for future use.

bootloader/main.c

@@ -1302,7 +1302,8 @@ void ipl_main()
 
 	while (true)
 		tui_do_menu(&menu_top);
-
+	
+	// Halt BPMP if we managed to get out of execution.
 	while (true)
-		;
+		bpmp_halt();
 }