Re: #4256: unblock biosdevname