[PATCH] Fix idle time field in /proc/uptime