as the details might differ between archs, and passing the various options leads to some clutter.
MPC8240 processor module. See the README for more information.