The text 0db4eb9ae8e1, as Debian 7 (Wheezy) shipped it.
is this EDD device a 'type' device?
edd_dev_is_type(9) on Linux now
