The text 3ca0d0e76b4b, as Debian 8 (Jessie) shipped it.
preload for idr_alloc
idr_preload(9) on Linux now
