Fix fp ABI for C guest #3220

Job	Run time
check license headers	6s
docs-pr	6s
spell check with typos	5s
code-checks / linux-checks	5m 1s
code-checks / windows-checks	37s
build-guests (debug) / build-guests	33s
build-guests (release) / build-guests	1s
run-examples	-1s
build-test	-1s
fuzzing	-1s
benchmarks	-1s
report-ci-status	3s
	6m 28s

Provide feedback