Re-repair beagle bone ISRs and tweak floating-point benchmarks.