proper kernel dir