Change kernel directory for now (will revert this later)