The text abe12fa8e3da, as Debian 8 (Jessie) shipped it.
allocate a dev_t for a partition
blk_alloc_devt(9) on Linux now
