OP-TEE/optee_os — pull request #69 by jforissier (2014-10-15 09:27:53+00:00)
Title: plat-vexpress: build with -mfloat-abi=soft

OP-TEE on plat-vexpress does not support Neon. This patch prevents generating
Neon instructions when the cross-compiler is configured to use
'-mfloat-abi=hard' by default (such as arm-linux-gnueabihf-gcc).