Beautify kernel branding

Added a dash in front of the kernel brand name, because the uname
output "3.12.28-pandadcs+" reads better than "3.12.28pandadcs+".