The text 3c5db5ea0a0f, as Debian 7 (Wheezy) shipped it. The page shows this text now.
release an MCA device
mca_mark_as_unused(9) on Linux now
