biosdevname in its simplest form takes a kernel device name as an argument, and
returns the BIOS-given name it "should" be. This is necessary on systems where
the BIOS name for a given device (e.g. the label on the chassis is "Gb1")
doesn't map directly and obviously to the kernel name (e.g. eth0).