Comment 47 for bug 254668

Unfortunately I had not much time the last days to make progress. Just a note to you (and also to myself not to forget): One detail I noticed is that first the clocksource should be tsc (because there is the message later about that being unstable) but actually this should be marked unstable much sooner. The code that enabled broadcast (since C1E is detected) should also mark tsc unstable because of halt in c1e. Strange this does not happen...