(ARM) Add an option to set manually FloatABI to use
(cmake) Minor refactors
(JIT) Use user defined Float ABI when running JIT