First question, as for if the "generic" kernel is the right one and the update was correct, seems to be answered: I have checked against an Ubuntu (64 bits) installation and the kernel is also "generic". I suppose it is the same kernel which is differently compiled for 32 and 64 -it rests to know what is the difference with the other ones which are only for X86_64-.

As for the second question, I made a typing mistake, I meant that I can "not" find any reference...

Reply via email to