Flesh out 1.8.1 section on ARMv7 bug.