Rename kernel configurations to be build friendly

This change makes it so that the builds can be more automated in Jenkins
using the branch names from raspberrypi/linux