Shortened kernel names inside defconfigs

A too long name caused issues with some apps, like Antutu Benchmark