Fix LPC4088 codered exporter

Use softfp instead of hardfp for code generation, in order to make linking
with the mbed SDK (generated with softfp) possible.