The text 5148257a45b9, as Debian 7 (Wheezy) shipped it.
allocate a dev_t for a partition
blk_alloc_devt(9) on Linux now
