Hi there,

sorry for the delay, but it took some time to get beck to my HP and 
built an new kernel. With disabled HIL-Support I get a working kernel. 
Bootlog is attached. So I would like to say thank you for the great job 
you all do.
I just recognized two failures. One is: "Setting up general console 
font...set_kernel_font: Function not implemented" during an init-script 
and the other is this: "gsckbd_leds: timeout".
If  I can help to test patches to get HIL-Support working let me know.
Greetings,
    Rüdiger