pour le kernel c simple tu va sur le msdash dans parametres puis autres infos et la tu attend que le texet defile et a la fini tu a D et K donc K=kernel qui est en gros le bios et D=dashboard pour moi c un 1.00.4920.01