This patch removes some dead timer code left over from the
PSCHED_JIFFIES clock source change to use get_jiffies_64().