fix kernel display name