Dell developed a way to consistently name devices, and their last proposal
was accepted under the name biosdevname.  Fix a broken URL to biosdevname
documentation.
Signed-off-by: NNaga Venkata Sai Indubhaskar Jupudi <njupudi@ucsc.edu>
Signed-off-by: NBjorn Helgaas <bhelgaas@google.com>