Hoe weet je op welke kernel het besturingssysteem is geladen?