enable float/double benchmark on risc-v#2885

kilograham merged 2 commits intodevelopraspberrypi/pico-sdk:developfrom

riscv-float-benchmarkraspberrypi/pico-sdk:riscv-float-benchmarkCopy head branch name to clipboard