Remove direct reference to permutated code; now done by kernel itself