#4256: unblock biosdevname