Memory Leak in hpet_timer results in unusable machine