board: native_posix: Fix timer for k_busy_wait()

The timer update was not triggering an immediate update of
the top HW models timer,
which meant a call to k_busy_wait() may have waited for a much
longer time than requested (up to 1 OS tick).
=> Fix it.

Signed-off-by: Alberto Escolar Piedras <[email protected]>

Author: aescolar

boards/posix/native_posix/timer_model.c

@@ -260,6 +260,7 @@ void hwtimer_wake_in_time(uint64_t time)
 	if (hw_timer_awake_timer > time) {
 		hw_timer_awake_timer = time;
 		hwtimer_update_timer();
+		hwm_find_next_timer();
 	}
 }