... which converts decimal numbers into '/dev/sda', '/dev/sdb', etc.

Signed-off-by: Jose A. Lopes <jabolopes@google.com>
Reviewed-by: Hrvoje Ribicic <riba@google.com>