Update related to the new linux driver implementation

Define GCC to generate output containing library calls for floating-point operations.

Change-Id: I8e13beabfe3b6f7e86ad5419e25bebf3b6080629
Signed-off-by: Cedric Chaumont <cedric.chaumont@st.com>