Need help configuring kernel correctly