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.
Merge branch 'bleeding-jumbo' into bleeding-mask

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