fix missing kernel line