Bug#1014091: armhf: gcc has wrong configuration

[Matthias Klose]

Control: reassign -1 src:valgrind
Control: severity -1 serious

thanks, so that should be fixed within valgrind.