The text 0c2fef272070, as Debian 4.0 (Etch) shipped it.
release an MCA device
mca_mark_as_unused(9) on Linux now
