rename kernel configurations in jellbean branch