Update description of check_supported_kernel