[coreboot-gerrit] Change in coreboot[master]: soc/sifive/fu540: Fix RISCV_ARCH / RISCV_ABI to support float