>>> On 20.03.13 at 11:13, Sander Eikelenboom <linux@eikelenboom.it> wrote:

> Wednesday, March 20, 2013, 9:22:33 AM, you wrote:
> 
>>>>> On 19.03.13 at 23:48, Sander Eikelenboom <linux@eikelenboom.it> wrote:
>>> Yes they still work, and somehow using the debug keys seems to make it 
>>> continu for a bit (slowly and ending up in infinite loop printing firewall 
>>> messages)
> 
>> That information is perhaps more important than the contents of
>> the log. On my way home yesterday I had already realized that
>> the temporary masking of the interrupt may cause wakeup events
>> to be missed. Unfortunately the fix for this is quite a bit larger
>> than the three of four lines I had hoped would need to be added.
>> Could you give the attached patch a try? (Without seeing the
>> problem, I obviously can't say anything other about it than I
>> know it compiles.)
> 
> 
> One of your assertions failed, serial log attached ...

That was due to me blindly doing the same thing to
hpet_detach_channel() that I did for hpet_attach_channel().
Fixed now.

Jan