fix copyright (overlooked in original commit) use bitmask_snprintf() instead of printf("...%b") (though that part is commented out anyway ATM)
tech-kern and now documented in evcnt(9).
found in some older IBM PS/2 machines. This code is based upon work by Scott D. Telford, with some minor bits in arch/i386/mca/mca_machdep.c taken from FreeBSD. XXX this is still very experimental and development version; use at your XXX own risk