Hogyan lehet megtudni, melyik kernelre töltötték be az operációs rendszert?