The text eddb8eaaf303, as Debian 7 (Wheezy) shipped it.
Configure additional binary formats at boot
binfmt.d(5) on Linux now
