re: Building Marvell

i wonder if this is because the compiler defaults are different,
no matter what MACHINE/MACHINE_ARCH are set to.

eg, the arm*hf targets default to a target with FPU, and the
others default to without FPU, and so in addition to the existing
"-mfloat-abi=FOO", something like "-mcpu=<sf-cpu>".

in one sense, this is not a supported configuration (though we
could maybe support it).  the simple answer is to use build.sh to
get a valid compiler for the target.


.mrg.