kernel/timing: use std::numeric_limits::lowest() instead of min()

kernel/timing: use std::numeric_limits::lowest() instead of min() #962