Due to recent build changes, --release no longer applies the right optimization settings, and --profile firmware has to be used.