I see the attached two messages on the console output. In one case for me 2.6.19-rt11 seemed to boot ok, in other case it do not seem to. I am not sure if this problem is related to disabled HPET, but I will try that also. Gautam