build a biosdevname udeb (fixes bug 613)