Bugfix for "poor man's multi-device support" for --fork.
Cosmetic tweak for MPI + OMP notice.
Drop the use of OS_TIMER=0 for AMD OpenCL builds, but add instructions
for how to re-enable it.