fix device id regex

Symbol '_' is often used in local names, despite of RFC.
Version number of Debian wheezy is 7, not 7.0.

"Debian 7.0 (wheezy)" is not correct: the current wheezy point release
is 7.5; wheezy itself should have the single digit version number 7.