HPET busy, anything to worry about?