fix kernel check