Solved. It seems a qubes VM manager bug to sometimes display wrong
kernel information. Could check & set values correct in the command
line. I think more & more that I shuold abolish the qubes VM manager,
and do everything the old way on the dom0 console :) Bernhard