Refactor kernel stack separation