putting kernel prefixes back