FYI, the kernel that was tested used upstream patch "cpuidle: menu: fixed wrapping timers at 4.294 seconds" (merge commit f310642123e0d32d919c60ca3fab5acd130c4ba3 also found as 2.38.y stable commit 4a1163dff6592dcee594b2bee597aafd749b93ee).
FYI, the kernel that was tested used upstream patch "cpuidle: menu: fixed wrapping timers at 4.294 seconds" (merge d919c60ca3fab5a cd130c4ba3 also found as 2.38.y stable commit 4a1163dff6592dc ee594b2bee597aa fd749b93ee) .
commit f310642123e0d32