these bits are almost never actually used since afsr is rarely printed, usually only upon fatal error and in some cases, when the hardware is failing... testing these would be hard in the kernel, so any userland test would suffice for me. .mrg.