[PATCH] Fix faulty HPET clocksource usage (fix for bug #7062)