intermeditate work: lapic timer somehow just stops and kernel hangs